Разработка и исследование формального метода автоматизированного проектирования маршрутной технологии изготовления деталей в машиностроенииТкаченко, Л. С., 1972, кандидатская диссертацияМосква25 стр.