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