Pengantar logik dan pengabstrakan untuk sains komputer - Rosni Abdullah; Tan, Enya Kong (Prentice Hall, 2000)