Моделирование программ схемами и построение полных систем преобразования схемдиссертация