Pengantar Logika Informatika, Algoritma, dan Pemrograman Komputer - Heri Sismoro