Kokichi SUGIHARA and Shiro MATUURA, Use of Digital Topology for Robust Geometric Computation, 15pp., December 2004.