Mengukur kesahsahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol - Ahmad Rizal Mohd. Yusof (Bangi : Perpustakaan Tun Seri Lanang, 2004)
Tesis ini disertakan dengan satu CD yang mempunyai nombor panggilan yang sama dan di tempatkan di Bahagian Perkhidmatan Maklumat
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2003
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Object-oriented programming (Computer science); Z (Computer program language); Dissertations, Academic -- Malaysia