Liedtke, 1995. On micro-kernel construction, in: . ACM Press.. https://doi.org/10.1145/224056.224075