Achmad Ridok
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan rel kereta api satu jalur satu arah
Universitas Indonesia, 1999
 UI - Tesis Membership
Agus Widadi
Stasiun kereta api dan MRT di Depok
Fakultas Teknik Universitas Indonesia, 1996
 UI - Skripsi Membership
Sibarani, Evita Marlinang
Formalisasi dan verifikasi protokol komunikasi
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi Membership
Nisa Rahmatika Hadi
Fasilitas pada stasiun kereta api di Jakarta. (Studi kasus: stasiun Cikini dan stasiun Gambir)
Fakultas Teknik Universitas Indonesia, 2002
 UI - Skripsi Membership
Rachmat Anar Zaman
Pusat perbelanjaan dan stasiun kereta api Senen
Fakultas Teknik Universitas Indonesia, 1992
 UI - Skripsi Membership