Introduction to digital logic design - Hayes, John P. (John Patrick) 1944- (Addison-Wesley, 1993)