Reihe Theoretical Computer Science and General IssuesPetro Lutsyk × 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