@InProceedings{	  bershad95spin,
  author	= {Brian N. Bershad and Stefan Savage and Przemyslaw Pardyak
		  and Emin G{\"u}n Sirer and Marc E. Fiuczynski and David
		  Becker and Craig Chambers and Susan J. Eggers},
  title		= {Extensibility, Safety and Performance in the SPIN
		  Operating System.},
  booktitle	= {SOSP},
  year		= {1995},
  pages		= {267-284},
  urlbib	= {http://www.cs.ucsb.edu/~grze/papers/os/bershad95spin.bib},
  url		= {http://www.cs.ucsb.edu/~grze/papers/os/bershad95spin.bib},
  pdf		= {http://www.cs.ucsb.edu/~grze/papers/os/bershad95spin.pdf},
  keyword	= {Operating Systems}
}