Theory and design of digital computer systems - Lewin (Chapman & Hall, 1992)