Pustaka Tinta Mas, [date of publication not identified]
Buku Teks
Lembaga Bahasa dan Budaya Fakultas Sastra dan Filsafat, Universitas Indonesia, 1952
Buku Referensi
edited by Eric H. Houwink and Robert R. van der Meer.
Elsevier, 1984
Buku Teks
edited by Kenneth J. Arrow, Samuel Karlin, and Patrick Suppes
Stanford University Press, 1960
Buku Teks
Pergamon Press, 1986
Buku Teks