Han-Hing Dang, Bernhard Möller: Transitive Separation Logic. RAMiCS 2012: 1-16