Computer Logic by John Y Hsu