"Formal Properties of Recursive Virtual Machine Architectures."

Gerald Belpaire, Nai-Ting Hsu (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics