A pipelined multi-core machine with operating system support : hardware implementation and correctness proof - Lutsyk, Petro (Springer, 2020)