@conference {3796,
	title = {Towards Specification of Program Synthesis in Model-Integrated Computing},
	booktitle = {ECBS-98},
	year = {1998},
	pages = {226--233},
	address = {Jerusalem, Israel},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_0_0_1998_Towards_Sp.pdf},
	author = {Karsai, Gabor and Sztipanovits, Janos and Franke, Hubertus}
}
