@article {3855,
	title = {Model-Based Approach for Software Synthesis},
	journal = {IEEE Software},
	volume = {10},
	year = {1993},
	month = {May},
	pages = {42--52},
	author = {Abbott, Ben and Bapty, Ted and Biegl, Csaba and Karsai, Gabor and Sztipanovits, Janos}
}
