Logika Informatika - Setiadji (GRAHA ILMU, 2007)