Pengantar logika dan algoritma - Yulikuspartono (ANDI, 2004)