Computer Logic by John Y. Hsu