Richard Jüllig, Yellamraju V. Srinivas. Diagrams for software synthesis. In Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993. pages 10-19, IEEE Computer Society, 1993. [doi]
Abstract is missing.