Digital Integrated Circuits - Rabey (PHI, 2007)