Introduction to digital systems - Palmer, James (McGraw-Hill, 1993)