Reka bentuk alat penterjemahan ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z - Ainita Ban (Bangi : Perpustakaaan Tun Seri Lanang, 2007)
Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2002
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Natural language processing (Computer science); Z (Computer program language); Computer software -- Development