References

[AARM]		Annotated Ada 95 Reference Manual, Version 6.0.
		Intermetrics Inc, 1995.

[ANSI 83]	Reference Manual for the Ada Programming Language.
		ANSI/MIL-Std-1815a edition, 1983.

[Bal 92]	H. E. Bal, M. F. Kaashoek, and A. S. Tanenbaum.  "Orca: A Language for
		Parallel Programming of Distributed Systems".  IEEE Transactions on Software
		Engineering, 18(3): 190-205, March 1992.

[Barnes 82]	J. G. P. Barnes.  Programming in Ada.  Addison-Wesley,
		London, 1982.

[DoD 78]	Defense Advanced Research Projects Agency.  Department of Defense
		Requirements for High Order Computer Programming Languages  STEELMAN.
		USDoD, Arlington, Virginia, 1978.

[DoD 88]	Ada Board's Recommended Ada 9X Strategy.  Office of the Under
		Secretary of Defense for Acquisition, Washington, D.C., 1988.

[DoD 89a]	Ada 9X Project Plan.  Office of the Under Secretary of Defense
		for Acquisition, Washington, D.C., 1989.

[DoD 90]	Ada 9X Requirements.  Office of the Under Secretary of Defense
		for Acquisition, Washington, D.C., 1990.

[IBFW 86]	J. D. Ichbiah, J. G. P. Barnes, R. J. Firth, and M. Woodger.
		Rationale for the Design of the Ada Programming Language.  Reprinted by
		Cambridge University Press, 1991.

[ISO 87]	International Standards Organization.  Reference Manual for the Ada
		Programming Language.  ISO/8652-1987, 1987.

[ISO 90]	International Standards Organization.  Memorandum of Understanding
		between the Ada 9X Project Office and ISO-IEC/JTC 1/SC 22/WG 9 Ada.
		ISO-IEC/JTC 1/SC 22 N844, 1990.

[ISO 94a]	International Standards Organization.  Generic Package of
		Elementary Functions for Ada.  ISO-IEC/JTC 1 11430:1994.

[ISO 95]	International Standards Organization.  Reference Manual for the Ada
		Programming Language.  ISO/8652-1995, 1995.

[Klein 93]	M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour.
		A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic
		Analysis for Real-Time Systems.  Klewer Academic Publishers, 1993.

[Rat 95]	Ada 95 Rationale.  Intermetrics Inc, January 1995.

[Sha 90a]	L. Sha, and J. B. Goodenough.  Real-Time Scheduling Theory and
		Ada.  Computer 23(4): 53-62, April, 1990.

[Taylor 95]	W. J. Taylor.  Ada 95 Compatibility Guide, Version 6.0.
		Transition Technology, January 1995.