A Pipelined Multi-Core Machine with Operating System Support - Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul (Springer, 2020)