GPS: a case study in generality and problem solving - Ernst, George. (ACM monograph series., 1969)