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