1. Shpitalni M.LeMaistre C. L. “The Problem of Numerical Control Program Verification - Analysis and Approach” Proc. of the ASME, Winter Annual Meeting Symposium on Computer Integrated Manufacturing III, Nov 1983
2. FridshalR.Cheng K. P. DuncanD. Zucker W. “Numerical Control Part Program Verification System”, Conference on CAD/CAM Technology in Mechanical Engineering, M.I.T., March 1982, pp.236-254
3. “Representation for Rigid Solids : Theory, Methods and Systems”;Requicha;ACM Computing Surveys,1980
4. ldquo;Solid Modeling and the Interface between Design and Manufacture”;Pratt;IEEE CG & A,1984
5. Voelcker H. B.Hunt W. A., “The Role of Solid Modeling In Machining - Process Modeling and NC Verification”, Inter. Congress and Exposition, Soc. Automotive Engineers, February 1981