Mitchell Wand;Joshua D. Guttman
-;-
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
The Tail-Recursive SECD Machine
Journal of Automated Reasoning