Tavri D. Mahyuzir
Pengantar analisis dan perancangan perangkat lunak
Elex Media Komputindo, 1991
 Buku Teks
Adrianus Wisnu K.
Pengujian penerapan metodologi agile unified process dalam studi kasus pengembangan sistem informasi e-health berbasis web dengan menggunakan teknologi java
Fakultas Ilmu Komputer Universitas Indonesia, 2007
 UI - Skripsi (Membership)
Ince, D.C.
An Introduction to discrete mathematics and formal system specification
Clarendon Press, 1988
 Buku Teks
Forum teknik
Fakultas Teknik UGM,
 Majalah, Jurnal, Buletin
Warta FT UI
Depok : FT-UI, 2002,
 Majalah, Jurnal, Buletin