Pengantar Logika dan Algoritma - YULIKUSPARTONO (Andi, 2004)