Bershad, Brian N.; Chambers, Craig; Eggers, Susan; Maeda, Chris; McNamee, Dylan; Pardyak, Przemyslaw; Savage, Stefan; Sirer, Emin Gün; Sirer, Emin Gun (1994). "SPIN - An Extensible Microkernel for Application-specific Operating System Services". CiteSeerX10.1.1.47.8338 $2.
Shieh, Alan; Williams, Dan; Gün, Emin; Fred, Sirer; Schneider, B. (2005). "Nexus: A new operating system for trustworthy computing". ACM Press: 1-9. CiteSeerX10.1.1.72.340 $2.