A pipelined multi-core MIPS machine : hardware implementation and correctness proof - Kovalev, Mikhail; Müller, Silvia M.; Paul, Wolfgang J. (Springer, 2014)