Pengantar logika dan algoritma - Yulikuspartono (Andi, 2004)