Definitional Interpreters for Higher-Order Programming Languages. Pages 717–740 of (1972)

by John C Reynolds
Venue:Proceedings of the ACM Annual Conference. ACM