The Performance of Micro-Kernel-Based Systems
by Hartig, et al (Dresden Univ., IBM Research)
in SOSP97
Context: operating system structure, performance