Логическая система для получения правильных обучающих программ В.Ю. Михайлов Issledovanija po prikladnoj matematike
Описание и реализация языков, задающих конечные отношения В.Ю. Михайлов; П.В. Пшеничный; P.P. Тагиров Issledovanija po prikladnoj matematike