"Heap-Dependent Expressions in Separation Logic."

Jan Smans, Bart Jacobs, Frank Piessens (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics