Loh Kah Heng @ Low Kah Heng <br/><br/>
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 
 - 208 p. ;  30 cm. 
<br/><br/>Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997 
<br/><br/>Rujukan: p. 125-127 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language)<br/>Logic programming