Gerald Belpaire Nai-Ting Hsu Formal Properties of Recursive Virtual Machine Architectures. 89-96 1975 SOSP db/conf/sosp/sosp75.html#BelpaireN75