Proceedings of the Conference on TRI-Ada '94 - Engle, Charles B. (ACM,)