Don S. Batory. A Modeling Language for Program Design and Synthesis. In Egon Börger, Antonio Cisternino, editors, Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Volume 5316 of Lecture Notes in Computer Science, pages 39-58, Springer, 2007. [doi]
Abstract is missing.