# References

[Aragon]
  author: Cecilia Aragon
  author: Raimund Seidel
  title: Randomized Search Trees
  boottitle: Proceedings 30th FOCS
  year: 1989
[broder]
  author: Andrei Broder
  title: Some Applications of Rabin's Fingerprinting Method
  boottitle: Sequences II: Methods in Communications, Security, and Computer Science
  editor: Renato Capocelli and De Santis, Alfredo and Ugo Vaccaro, editors
  publisher: Springer-Verlag
  year: 1993
  pp: 143-152
[ExpProcMon]
  author: Butler W. Lampson
  author: David D. Redell
  title: Experience with Processes and Monitors in {M}esa
  journal: Communications of the ACM
  vol: 23
  no: 2
  month: February
  year: 1980
[FormsVBT]
  author: Marc H. Brown
  author: James R. Meehan
  title: FormsVBT Reference Manual
  institution: Digital Equipment Corporation Systems Research Center
  note: Research Report, To appear.
[Gay]
  author: David M. Gay
  title: Correctly Rounded Binary-Decimal and Decimal-Binary Conversions
  institution: AT&T Bell Laboratories
  month: November 30
  year: 1990
  type: Numerical Analysis Manuscript
  no: 90-10
[KnuthVol2]
  author: Donald E. Knuth
  title: Seminumerical Algorithms
  publisher: Addison Wesley
  year: 1981
  edition: second edition
[NetObj]
  author: Andrew Birrell
  author: Greg Nelson
  author: Susan Owicki
  author: Edward Wobber
  title: Network Objects
  boottitle: Proceedings of the 14th Symposium on Operating Principles
  month: December
  year: 1993
[M2+]
  author: Paul Rovner
  author: Roy Levin
  author: John Wick
  title: On Extending Modula-2 for building large, integrated systems
  institution: Digital Equipment Corporation Systems Research Center
  type: Research Report
  no: 3
  month: January
  year: 1985
[Monitors]
  author: C. A. R. Hoare
  title: Monitors: An Operating System Structuring Concept
  journal: Communications of the ACM
  vol: 17
  no: 10
  month: October
  year: 1974
[OS6part2]
  author: J. E. Stoy
  author: C. Strachey
  title: OS6-An Experimental Operating System for a Small Computer. Part 2: Input/Output and Filing System
  journal: The Computer Journal
  vol: 15
  no: 3
  month: May
  year: 1972
[POSIX]
  author: IEEE Technical Committee on Operating Systems
  title: Standard Portable Operating System Interface for Computer Environments
  institution: IEEE
  type: Standard 1003.1-1988
  year: 1988,
[Rabin]
  author: M. O. Rabin
  title: Fingerprinting by Random Polynomials
  institution: Department of Computer Science, Harvard University
  type: Report
  no: TR-15-81
  year: 1981
[SedgewickAlg]
  author: Robert Sedgewick,
  title: Algorithms
  publisher: Addison-Wesley
  year: 1983
[SPwM3]
  editor: Greg Nelson,
  title: Systems Programming with Modula-3
  publisher: Prentice Hall
  year: 1991
[Steele]
  author: Guy L. Steele Jr.
  author: Jon L. White
  title: How to Print Floating-Point Numbers Accurately
  boottitle: Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation
  year: 1990
[Trestle]
  author: Mark S. Manasse
  author: Greg Nelson
  title: Trestle Reference Manual
  institution: Digital Equipment Corporation Systems Research Center
  month: December
  year: 1991
  type: Research Report
  no: 68
[VBTkit]
  author: Marc H. Brown
  author: James R. Meehan
  title: VBTkit Reference Manual
  institution: Digital Equipment Corporation Systems Research Center
  type: Research Report
  note: To appear
[Win32]
  author: Microsoft Corporation
  title: Microsoft Win32 Programmer's Reference
  publisher: Microsoft Press
  year: 1993