Lambda: The Ultimate Opcode

Lambda: The Ultimate Opcode  (1979) 
by Guy L. Steele, Jr. and Gerald Jay Sussman

AI Memo 514, the seventh of the Lambda Papers.