Digital logic circuit analysis and design (Prentice Hall, 1995)