Definitional interpreters for higher-order programming languages
Proceedings of the ACM annual conference on - ACM '72 (1972) - Comments
doi: 10.1145/800194.805852 

John C. Reynolds