Michael Moore. A logic base tool set for real-time Ada software development. In Kent Thackrey, editor, Proceedings of the Eighth Annual Washington Ada Symposium & Summer SIGAda Meeting on Ada - Software: Foundation for Competitveness, WADAS 1991, McLean, Virginia, USA, June 17-21, 1991. pages 102-118, ACM, 1991. [doi]
Abstract is missing.