Logika informatika::dasar-dasar logika untuk pemrograman komputer dan perancangan komputer - Suprapto (Yogyakarta:Gava Media, 2004)