Robust, Efficient, And Accurate Contact Algorithms. by David Harmon