Digital Integrated Circuit Design - Ken Martin (Oxford University Press, 2009)