Pengantar Logika Informatika, Algoritma, dan Pemrograman Komputer - SISMORO, Heri (Andi, 2005)