@book{228901,
	author = {Lorenzo Magnani, Walter Carnielli, Claudio Pizzi},
	title = {Model-Based Reasoning in Science and Technology},
	publisher = {Springer Berlin Heidelberg},
	year = {2010},
	address = {New York}
}