Steele Jr. Scheme: An interpreter for extended lambda calculus (1975)

by G L Sussman, G L