Greta Yorsh Thomas W. Reps Mooly Sagiv Reinhard Wilhelm Logical characterizations of heap abstractions. 2007 8 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/1182613.1182618 db/journals/tocl/tocl8.html#YorshRSW07