An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving. - Giovanni Guida; Dino Mandrioli; Amedeo Paci; Marco Somalvico (Optimization Techniques, 1975)