J. H. Oliver Erik D. Goodman Direct dimensional NC verification. 3-9 1990 22 Computer-Aided Design 1 http://dx.doi.org/ db/journals/cad/cad22.html#OliverG90