A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof - Kovalev, Mikhail; Müller, Silvia M.; Paul, Wolfgang J. (Springer International Publishing : Imprint: Springer, 2014)