Sistem penyediaan dokumen spesifikasi formal Z berpandukan peralatan CASE - Bahari Idrus (Bangi : Perpustakaan Tun Seri Lanang, 2004)
Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996
Keywords: Computer-aided software engineering; Computer software -- Development