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