Reka bentuk alat penterjemahan : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z - Ainita Ban (Bangi : Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia, 2002)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2002
Rujukan : p.87-90
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Natural language processing (Computer science); Z (Computer program language); Computer software -- Development