Pengantar Logika dan Allgoritma - Yulikuspartono (Andi, 2004)