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