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