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]
@inproceedings{Batory07:0, title = {A Modeling Language for Program Design and Synthesis}, author = {Don S. Batory}, year = {2007}, doi = {10.1007/978-3-540-89762-0_2}, url = {http://dx.doi.org/10.1007/978-3-540-89762-0_2}, tags = {programming languages, modeling language, modeling, language modeling, language design, design}, researchr = {https://researchr.org/publication/Batory07%3A0}, cites = {0}, citedby = {0}, pages = {39-58}, booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures}, editor = {Egon Börger and Antonio Cisternino}, volume = {5316}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-89761-3}, }