@book{149283,
	author = {Corsi, Giovanna. and ebrary, Inc.},
	title = {Deduction, computation, experiment},
	publisher = {Springer,},
	year = {c2008.},
	address = {Berlin ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10252042}
}