1. Solid modeling and the interface between design and manufacture;Pratt;IEEE Comput. Graph. Appl.,1984
2. The role of solid modeling in machining — process modeling and NC verification;Voelcker,1981
3. Numerical control part program verification system;Fridshal,1982
4. The problem of numerical control program verification - analysis and approach;Shpitalni,1983
5. Representation for rigid solids: theory, methods and systems;Requicha;ACM Comput. Surveys,1980