@inproceedings{SOSP-1975-BelpaireN,
	author        = "Gerald Belpaire and Nai-Ting Hsu",
	booktitle     = "{Proceedings of the Fifth Symposium on Operating System Principles}",
	doi           = "10.1145/800213.806526",
	pages         = "89--96",
	publisher     = "{ACM}",
	title         = "{Formal Properties of Recursive Virtual Machine Architectures}",
	year          = 1975,
}