Reynolds, John C.
The Craft of programming
Prentice-Hall, 1978
 Buku Teks
Gries, David
The science of programming
Springer-Verlag, 1981
 Buku Teks
Henderson, Peter
Fuctional programming : application and implementation
Prentice-Hall, 1980
 Buku Teks
Wand, Mitchell
Induction, recursion, and programming
North Holland, 1980
 Buku Teks
Interactive programming environment
edited by David R. Barstow, Howard E. Shrobe and Erik Sandelwall
McGraw-Hill, 1984
 Buku Teks