The Lambda Papers, by Guy L. Steele, Jr. and Gerald Jay Sussman.
AIM-349 (1975)
Scheme: An Interpreter for Extended Lambda Calculus
AIM-353 (1976)
Lambda: The Ultimate Imperative
AIM-379 (1976)
Lambda: The Ultimate Declarative
AIM-443 (1977)
Debunking the "Expensive Procedure Call" Myth
or, Procedure Call Implementations Considered Harmful
or, Lambda: The Ultimate GOTO
AIM-453 (1978)
The Art of the Interpreter
or, The Modularity Complex (Parts Zero, One, and Two
AITR-474 (1978)
Rabbit: A Compiler for Scheme
AIM-514 (1979)
Design of LISP-Based Processors
or, Scheme: A Dielectric LISP
or, Finite Memories Considered Harmful
or, Lambda: The Ultimate Opcode