Ulrich, William M.
The year 2000 software crisis : challenge of the century
Yourdon Press , 1997
 Buku Teks SO
Yahma Wisnani
Model checking pada logika temporal linear untuk microwave
Sains Indonesia, 2003
 Artikel Jurnal
Jimmy Sadeli
Komputerisasi Sistem Pengendalian Persediaan untuk meningkatkan efisiensi kerja pada PT Metrodata Epsindo
1990
 UI - Tesis Membership
Sardar, Ziauddin
Introducing chaos
Icon Books, 2000
 Buku Teks SO
Susswein, Donald B.
How to understand and survive the coming tax reforms/ Donald B. Susswein
American Management Association , 1985
 Buku Teks SO