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