Bahari Idrus Sistem penyediaan dokumen spesifikasi formal Z berpandukan peralatan CASE [microform] / Bahari bin Idrus - Bangi : Perpustakaan Tun Seri Lanang, 2004 - 1 microfilm reel ; 35 mm. Tesis (Sarjana Sains) - Universiti Kebangsaan Malaysia, 1996 Subjects--Topical Terms: Computer-aided software engineeringComputer software--Development