1. The Ada Programming Language Reference Manual US Department of Defense, US Government Printing Office, 1983. ANSI/MILSTD 1815A Document.
2. Bates, P.C. and Wileden, J.C. EDL: A Basis for Distributed System Debugging Tools. In Proceedings of Hawaii International Conference on System Sciences, pages 86–93. Hawaii International Conference on System Sciences, Honolulu, Hawaii, January, 1982.
3. Campbell,R.H. and Habermann, A.N. The Specification of Process Synchronization by Path-Expressions. Lecture Notes in Computer Science 16, 1974.
4. Clocksin, W.F., and Mellish, C.S. Programming in Prolog. Springer-Velag, 1981.
5. Helmbold, D.P. and Luckham, D.C. Debugging Ada Tasking Programs. In Proceedings of the IEEE Computer Society 1984 Conference on Ada Applications and Environments, pages 96–110. IEEE, St. Paul, Minnesota, October 15–18, 1984.