Gries, David
The science of programming
Springer-Verlag, 1981
 Buku Teks
Gear, C. William (Charles William), 1935-
Computer organization and programming
McGraw-Hill, 1969
 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