Sistem penyediaan dokumen spesifikasi formal Z berpandukan peralatan CASE - Bahari Idrus (Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1996)
Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996
p. 98-99
Keywords: Computer-aided software engineering; Computer software -- Development