Computer Architecture: Complexity and Correstness - Muller, Silvia M (Springer, 2009)