CAT 102/CSC 112 - PENGANTAR LOGIK DAN PENGABSTRAKAN APRIL 1999. - PPSKOM, Pusat Pengajian Sains Komputer (1999)