GPS: a case study in generality and problem solving / - Ernst, George W. (Academic Press,, 1969)