APA Style

Azurat, H, S, P, C, D, A. (2007). Proses Verifikasi Piranti Lunak Basis Data dengan Lingu dan Theorem Prover Hol . : FEUI.

MLA Style

Azurat, Heru, Suhartanto,I.S.W.B., Prasetya,, Carroline, D.Puspa,, Ade. "Proses Verifikasi Piranti Lunak Basis Data dengan Lingu dan Theorem Prover Hol". : FEUI, 2007. Text.