Formal semantics of programming languages
Prentice-Hall, 1972
 Buku Teks SO
Pratt, Terrence W.
Programming languages : design and implementation
Prentice-Hall, 1975
 Buku Teks SO
Miller, Lawrence H.
Advanced programming: design and structured using pascal
Addison-Wesley, 1986
 Buku Teks SO
Malik, D.S.
C++ programming: from problem analysis to program design
Cengage Learning, 2013
 Buku Teks SO
Nair, Premchand S.
Java: programming fundamentals: problem solving through object oriented analysis and design
CRC Press, Taylor & Francis Group, 2009
 Buku Teks SO