Two for the Price of One: Lifting Separation Logic Assertions - Thamsborg, J; Birkedal, L; Yang, H (2011)