Sistem untuk mentahkik spesifikasi formal Z - Mohd. Zaki Ghazali (Bangi : Perpustakaan Tun Seri Lanang, 1997)
Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996
p. 127-128
Keywords: Computer software -- Verification; Z (Computer program language)