Campbell, R. H.; Render, H.; Sum, R. N. Jr.; and Terwilliger, R. "Automating the Software Development Process" in Proceedings of the 1988 ACM Computer Science Conference, pages 299--308, Atlanta, GA, February 1988.

Languages mentioned

• Path Pascal {1978}
• PLEASE {1984}