Rice, John G.
Build program technique: a practical approach for the development of automatic software generation systems
John Wiley & Sons, 1981
 Buku Teks
Programming techniques: program design; Vol 1 & 2
edited by Blaise W. Liffick
McGraw-Hill, 1978
 Buku Teks
Lewis, T.G. (Theodore Gyle)
Software engineering : analysis and verification
Prentice-Hall, 1982
 Buku Teks
Gottfried, Byron S.
Schaum`s outline of theory and problems of programming with BASIC : including microcomputer basic
McGraw-Hill, 1982
 Buku Teks
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part II
edited by Artur Czumaj
Springer-Verlag, 2012
 eBooks