Tavri D. Mahyuzir
Pengantar analisis dan perancangan perangkat lunak
Elex Media Komputindo, 1991
 Buku Teks SO
Ince, D.C.
An Introduction to discrete mathematics and formal system specification
Clarendon Press, 1988
 Buku Teks SO
Bambang Sumarjono
Indonesia strategies to raise ITS bilateral trade with Australia
Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2009
 UI - Tesis Open
Numrich, Carol
Raise the issues : an integrated approach to critical thinking
Longman, 1994
 Buku Teks
Shapiro, Lawrence E.
How to raise a child with a high / Lawrence E. Shapiro
HarperCollins, 1997
 Buku Teks