Проблема эквивалентных преобразований программ в схематологии // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ, тезтезисы доклада