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