Pengantar Logika dan Algoritma - Yulikuspartono (Andi, 2001)