Hennie, Frederick C.
Finite-state models for logical machines
John Wiley & Sons, 1968
 Buku Teks
Eilenberg, Samuel
Automata, languages, and machines; Volume B
Academic Press, 1976
 Buku Teks
Rachmat Karyanda
Persoalan undecidable pada post's correspondence problem (PCP)
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1985
 UI - Skripsi Membership
Triwibowo
Analisis pengaruh penggunaan variasi cyclone terhadap unjuk kerja mesin otto (penelitian eksperimental)
Fakultas Teknik Universitas Indonesia, 1997
 UI - Skripsi Membership
Timbul Hapataran M
Peningkatan reduction ratio (300:1) dengan cara penggabungan dua reduction gear
Fakultas Teknik Universitas Indonesia, 2001
 UI - Skripsi Membership