Об одном подходе к решению проблемы эквивалентности в моделях последовательных программтезисы доклада