George H. Marschalk IV. Developer-assisted automation for Ada design generation. In Judah Mogilensky, editor, Proceedings of the Ninth Washington Ada Symposium on Ada - Empowering Software Users and Developers, WADAS 1992, McLean, Virginia, USA, 1992. pages 164-175, ACM, 1992. [doi]
Abstract is missing.