Fejer, Peter A.
Mathematical foundations of computer science
Springer-Verlag, 1991
Buku Teks
Mandrioli, Dino
Theoretical foundations of computer science
John Wiley & Sons, 1987
Buku Teks
Proceedings: 37th annual symposium on foundations of computer science, Burlington, Vermont, October 14-16, 1996
IEE Computer Society Press , 1996
Buku Teks
Torbert, Shane
Applied computer science
Springer, 2012
eBooks
Handbook of theoretical computer science
edited by Jan van Leeuwen
Elsevier, 1990
Buku Referensi