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