System and software requirments engineering
edited by Richard H. Thayer, Merlin Dorfman
IEEE Computer Society Press , 1990
 Buku Teks
Stankovic, John A.
Reliabble distributed system software
Computer Society Press, 1985
 Buku Teks
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 verfication
Reston Publishing, 1982
 Buku Teks
Lewis, T.G. (Theodore Gyle)
Software engineering : analysis and verification
Prentice-Hall, 1982
 Buku Teks