Achmad Ridok, author
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan rel kereta api satu jalur satu arah
Universitas Indonesia, 1999
 UI - Tesis (Membership)
Maria Angela Kartawidjaja, author
Evaluasi kinerja penerapan algoritme numerik dan nonnumerik paralel pada TransPAU
1994
 UI - Tesis (Membership)
Bambang P. Prianto, author
NetDNC: Sebuah sistem kendali numerik tersebar pada jaringan komputer
1990
 UI - Tesis (Membership)
IBM's system/390
Computer Technology Research Corp., 1991
 Buku Referensi
Gray, Philip
Building interactive systems : architecture and tools / Philip Gray and Roger Took
Springer-Verlag, 1992
 Buku Referensi