"The Construction of Types of Abstract Machines in SIMAC."

C. Daquin, C. Girault (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics