Hsu, John Y.: Computer Logic