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