Belawati H. Widjaja
Construction of Trustworthy Software Using Formal Methods First Year Research Report
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1998
 UI - Laporan Penelitian
McNeill, Patrick
Research methods
Routledge, 1990
 Buku Teks SO
McNeill, Patrick
Research methods
Routledge, 1999
 Buku Teks SO
White, Theresa L.
Research methods
Wadsworth and Cengage Learning, 2013
 Buku Teks SO
Paterson, John
Information methods : for design and construction
John Wiley & Sons, 1977
 Buku Teks SO