Introduction to computing systems : from bits and gates to C and beyond - PATT (McGraw-Hill, 2001)