@inproceedings{GTTSE-2015-SmaragdakisBF,
	author        = "Yannis Smaragdakis and Aggelos Biboudis and George Fourtounis",
	booktitle     = "{Tutorial Lectures of the Fifth International Summer School on Grand Timely Topics in Software Engineering}",
	doi           = "10.1007/978-3-319-60074-1_7",
	isbn          = "['978-3-319-60073-4', '978-3-319-60074-1']",
	pages         = "154--178",
	publisher     = "{Springer International Publishing}",
	title         = "{Structured Program Generation Techniques}",
	year          = 2015,
}