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