Teknik menganggar bilangan kod baris berasaskan spesifikasi formal Z - Maridah Mohamad Shah (Bangi : Fakulti Teknologi Dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1998)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1998
Keywords: Estimation theory -- Computer programs; Z (Computer program language)