A pipelined multi-core MIPS machine : hardware implementation and correctness proof - Kovalev, Mikhail; Müller, Silvia M.; Paul, Wolfgang J. (Lecture notes in computer science / editors Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, 2014)