Penggunaan spesifikasi formal sebagai alat pentahkikan perisian - Rohidah Maskuri (Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1999)
Tesis (M.Sc.) - Universiti Kebangsaan Malaysia, 1999
Rujukan: p. 111-112
Keywords: Prototypes, Engineering; Computer programs -- Verification