"The Use of Renaming in Composing General Programs."

Antonio Brogi, Simone Contiero, Franco Turini (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics