Axioms and hulls
Donald Ervin Knuth
This monograph, by one of the greatest computer scientists of our time, attempts a comprehensive investigation of a basic computational problem: to find a formal mathematical characterization of which pairs of cities on a map are neighbors ...