@book{MP00, <br>AUTHOR = {Müller, S.M. and Paul, W.J.},<br>TITLE = {Computer Architecture, Complexity and Correctness},<br>YEAR = {2000},<br>PUBLISHER = {Springer},<br>EE = {http://www.springer.com/computer/hardware/book/978-3-540-67481-8},<br>}