Jochen Liedtke:Toward Real Microkernels: The inefficient, inflexible first generation inspired development of the vastly improved second generation, which may yet support a variety of operating systems.Commun. ACM39(9): 70-77 (1996)