Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi