Pengantar logika informatika, algoritma, dan pemrograman komputer - Heri Sismoro (Andi, 2005)