Pengantar logik dan pengabstrakan untuk sains komputer. - Rosni Abdullah; Tang Enya Kong (Selangor: Prentice Hall.)