"Analogy Categories, Virtual Machines, and Structured Programming."

Brian R. Gaines (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics