Логико-термальная эквивалентность программ с динамической памятьюстатья