Theory of problem solving an approach to artificial intelligence - Banerji, Ranan B. (Modern analytic and computational methods in science and mathematics, 1969)