Computer architecture Complexity and correctness - Mueller, Silvia M. (Springer Verlag, 2000)