@article{KUIPM_1989_16_16_a15, author = {P. V. Pshenichnyi}, title = {Deductive approach to {CAD/CAM} systems}, journal = {Issledovaniya po Prikladnoi Matematike i Informatike}, pages = {145--152}, year = {1989}, volume = {16}, number = {16}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/KUIPM_1989_16_16_a15/} }