@book{KMP14, <br>AUTHOR = {Kovalev, M. and Mueller, s.M. and Paul, W.J.},<br>TITLE = {A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof},<br>YEAR = {2014},<br>PUBLISHER = {Springer},<br>EE = {http://www.springer.com/de/book/9783319139050},<br>}