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