Pengantar logika dan Algoritma - Yulikuspartono (Andi, 2004)