Penggunaan spesifikasi formal sebagai alat pentahkikan perisian - Rohidah Maskuri (Bangi : Perpustakaan Tun Seri Lanang, 2004)
Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999
Keywords: Prototypes, Engineering; Computer programs -- Verification