Scheme
An Interpreter for Extended Lambda Calculus

　　　　　　　　　　　　　　by
Gerald Jay Sussman and Guy Lewis Steele Jr.
　　　　　　　　　　　　　（1975）

http://dspace.mit.edu/bitstream/1721.1/5794/2/AIM-349.pdf