Bahari Idrus <br/><br/>
Sistem penyediaan dokumen spesifikasi formal Z berpandukan peralatan CASE / 
Bahari bin Idrus 
 - Bangi :  Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia ,  1996 
 - xii , 150 p . :  ill. ;  30 cm. 
<br/><br/>Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996 
<br/><br/>p. 98-99 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer-aided software engineering<br/>Computer software--Development