Модели последовательных программ, применяемые для изучения функциональной эквивалентности программстатья