"Automatic Translation from Circus to Java."

Angela Freitas, Ana Cavalcanti (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics