Reihe Lecture Notes in Computer SciencePetro Lutsyk ×Springer International Publishing × A Pipelined Multi-Core Machine with Operating System SupportHardware Implementation and Correctness ProofPetro LutsykSpringer International PublishingSoftcover2020 A Pipelined Multi-Core Machine with Operating System SupportHardware Implementation and Correctness ProofPetro LutsykSpringer International PublishingeBook2020