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