Parallel programming
edited by Susann Ragsdale
McGraw-Hill, 1992
 Buku Teks SO
Dahl, O.J.
Structured programming
Academic Press, 1972
 Buku Teks SO
Iverson, Kenneth E.
A programming language
John Wiley & Sons, 1962
 Buku Teks SO
Morgan, Carroll, 1952-
Programming for specifications
Prentice-Hall, 1994
 Buku Teks SO
Donovan, John J.
Systems programming
McGraw-Hill, 1972
 Buku Teks SO