References

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