Martin Held On the Computational Geometry of Pocket Machining Lecture Notes in Computer Science 500 Springer 1991 3-540-54103-9