Воробьёв, Л. О.; Григорьев, А. В. Вывод древовидной вспомогательной грамматики как инструмент автоматического обобщения алгоритмов. ИК 2023, 17-22.