Gries, David
The science of programming
Springer-Verlag, 1981
 Buku Teks SO
Reynolds, John C.
The Craft of programming
Prentice-Hall, 1978
 Buku Teks SO
Wand, Mitchell
Induction, recursion, and programming
North Holland, 1980
 Buku Teks SO
Gear, Charles William, 1935-
Computer organization and programming
McGraw-Hill, 1969
 Buku Teks SO
Henderson, Peter
Fuctional programming : application and implementation
Prentice-Hall, 1980
 Buku Teks SO