Journal: Higher-Order and Symbolic Computation

Volume 11, Issue 4

355 -- 361John C. Reynolds. Definitional Interpreters Revisited
363 -- 397John C. Reynolds. Definitional Interpreters for Higher-Order Programming Languages
399 -- 404Gerald Jay Sussman, Guy L. Steele Jr.. The First Report on Scheme Revisited
405 -- 439Gerald Jay Sussman, Guy L. Steele Jr.. Scheme: A Interpreter for Extended Lambda Calculus