Boolos, George, author
Harvard University Press, 1998
Buku Teks
Fakultas Teknik Universitas Indonesia, 1991
UI - Laporan Penelitian
edited by David Ingram
Blackwell , 2002
Buku Teks
Mates, Benson, author
Oxford University Press, 1965
Buku Teks
Copi, Irving M., author
Macmillan, 1972
Buku Teks