Gaya APA

suhartanto, H., Prasetyo, I. (2007). Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol . Depok: Fakultas ilmu komputer UI.

Gaya MLA

suhartanto, Heru., Prasetyo, I.S.W.B. "Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol". Depok: Fakultas ilmu komputer UI, 2007. Text.