Logika informatika - Setiadi (Yogyakarta: Graha Ilmu, 2007)