Stallings, William
Pearson Prentice Hall, 2006
Buku Teks
Philipson, Graeme
Computer Technology Research, 1992
Buku Referensi
Stallings, William
Pearson Education, 2016
Buku Teks SO
Garside, R.G.
Clarendon Press, 1980
Buku Teks
edited by Gianfranco Balbo and Marco Vaneschi
Edizioni ETS, 1995
Buku Teks SO