George H. Marschalk IV. SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications. In Judy Bamberger, editor, Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991. pages 64-74, ACM, 1991. [doi]
Abstract is missing.