Разрешимость проблемы функциональной эквивалентности для подклассов свободных схем потоков данныхТришина, Е.В.198337 с.