Pengantar Logika dan Algoritma - Yulikuspartono (penerbit andi, 2004)