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