Liedtke, J.J.Liedtke2022-03-072022-03-071995https://publica.fraunhofer.de/handle/publica/288248en005006629Towards real micro-kernelsbook