SPIN - an extensible microkernel for application-specific operating system services (1994)

by Brian N. Bershad, Craig Chambers, Susan Eggers, Chris Maeda, Dylan Mcnamee, Przemyslaw Pardyak, Stefan Savage, Emin Gün Sirer