Two Years of Experience with a µ-Kernel Based OS. - Jochen Liedtke; Ulrich Bartling; Uwe Beyer; Dietmar Heinrichs; Rudolf Ruland; Gyula Szalay (ACM SIGOPS Oper. Syst. Rev., 1991)