@book{42352,
	author = {Danvy, Olivier},
	title = {Automatic program development :},
	publisher = {Springer Science + Business Media B. V,},
	year = {2008},
	address = {Dordrecht :}
}