On micro-kernel construction (1995)

by J Liedtke
Venue:In Proc. of the 15th ACM Symp. on Oper. Systems Prin