Peter Dencker. The Ada-IDAS project monitoring task states. In Edwin Seidewitz, Eileen Quann, editors, Proceedings of the Sixth Washington Ada Symposium on Ada, WADAS 1989, McLean, Virginia, USA, 1989. pages 81-87, ACM, 1989. [doi]
Abstract is missing.