Pengantar logik dan pengabstrakan untuk sains komputer - Rosni Abdullah; Tan, Enya Kong (Petaling Jaya, Selangor Prentice Hall, 2000)
Keywords: Abstraction; Logic, Symbolic and mathematical