@article{DangMoeller2015,
  author    = {Han Hing Dang and Bernhard M{\"o}ller},
  title     = {Extended transitive separation logic},
  journal   = {Journal of Logical and Algebraic Methods in Programming},
  volume    = {84},
  number    = {3},
  pages     = {303 -- 325},
  doi       = {10.1016/j.jlamp.2014.12.002},
  year      = {2015},
}