"Composable code generation for distributed giotto."

Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics