Asas Rekabentuk Logik Komputer - Ahmad Ismail (Dewan Bahasa dan Pustaka, 1981)