Pipelined Multi-Core Machine with Operating System Support Hardware Implementation and Correctness Proof Lutsyk, Petro Heftet / 2020 / Engelsk
