@book{david06exception,
  author= {Francis M. David and Jeffrey C. Carlyle and Ellick M. Chan and David K. Raila and Roy H. Campbell},
  title= "{Exception Handling in the Choices Operating System}",
  year= 2006,
  book = {Advanced Topics in Exception Handling Techniques},
  volume = 4119,
  series = {Lecture Notes in Computer Science},
  isbn = {3-540-37443-4},
  pages = {42--61},
  publisher = {Springer-Verlag Inc.},
  address = {New York, NY, USA},
  editor = {C. Dony, J. L. Knudsen, A. Romanovsky, A. Tripathi},
}