Model based reasoning - Lorenzo Magnani,Nancy J Neresessian (Kluwer Academic, 2002)