@inproceedings{SOSP-1995-BershadSPSFBCE,
	author        = "Brian N. Bershad and Stefan Savage and Przemyslaw Pardyak and Emin Gün Sirer and Marc E. Fiuczynski and David Becker and Craig Chambers and Susan J. Eggers",
	booktitle     = "{Proceedings of the 15th ACM Symposium on Operating System Principles}",
	doi           = "10.1145/224056.224077",
	isbn          = "0-89791-715-4",
	pages         = "267--284",
	publisher     = "{ACM}",
	title         = "{Extensibility, Safety and Performance in the SPIN Operating System}",
	year          = 1995,
}