Building problem solvers - Forbus, Kenneth D. (The MIT Press, 1993)