Lorenzo Magnani, Walter Carnielli, Claudio Pizzi Model-Based Reasoning in Science and Technology - Springer eBooks 2010 ISBN: 9783642152238