Gernot Heiser Kevin Elphinstone Jerry Vochteloo Stephen Russell Jochen Liedtke The Mungi Single-Address-Space Operating System. 901-928 1998 28 Softw., Pract. Exper. 9 db/journals/spe/spe28.html#HeiserEVRL98