Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog - Loh Kah Heng @ Low Kah Heng (Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Rujukan: p. 125-127
Keywords: Prolog (Computer program language); Logic programming