@inproceedings {bioinflmu-861,
	title = {{Program Development by Proof Transformation: Recent Evolutions}},
	booktitle = {15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR{\textquoteright}08)},
	series = {Short Talk},
	year = {2008},
	address = {Doha, Qatar, November 22-27, 2008},
	keywords = {heun-group},
	author = {Luca Chiarabini}
}