Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prologr - Loh Kah Heng @ Low Kah Heng (Bangi : Perpustakaan Tun Seri Lanang, 2004)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997
Keywords: Prolog (Computer program language).; Logic programming