Reihe Theoretical Computer Science and General IssuesMikhail Kovalev × A Pipelined Multi-core MIPS MachineHardware Implementation and Correctness ProofMikhail KovalevSpringer International PublishingSoftcover2014 A Pipelined Multi-core MIPS MachineHardware Implementation and Correctness ProofMikhail KovalevSpringer International PublishingeBook2014