@phdthesis {Chiarabini/2009,
	title = {{Program Development by Proof Transformation}},
	year = {2009},
	month = {December},
	school = {LMU M{\"u}nchen},
	type = {PhD Thesis},
	keywords = {heun-group},
	url1 = {<a href="http://edoc.ub.uni-muenchen.de/11064/">E-Dissertation</a>},
	author = {Luca Chiarabini}
}