Stankovic, John A.
Reliabble distributed system software
Computer Society Press, 1985
 Buku Teks SO
System and software requirments engineering
edited by Richard H. Thayer, Merlin Dorfman
IEEE Computer Society Press , 1990
 Buku Teks SO
Beck, Leland L.
System software: an introduction to systems programming
Addison-Wesley, 1985
 Buku Teks SO
Lewis, T.G. (Theodore Gyle)
Software engineering : analysis and verification
Prentice-Hall, 1982
 Buku Teks
Gough, K. John
Syntax analysis and software tools
Addison-Wesley, 1988
 Buku Teks SO