Loh Kah Heng @ Low Kah Heng <br/><br/>
Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prologr / 
Loh Kah Heng @ Low Kah Heng 
 - 1 microfilm reel ;  35 mm. 
<br/><br/>Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language).<br/>Logic programming.