Jones, Capers
Programming productivity
McGraw-Hill, 1986
Buku Teks
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