@article{DangMoeller2012,
  author    = {Han-Hing Dang and Bernhard M{\"o}ller},
  title     = {Transitive separation logic},
  journal   = {Lecture Notes in Computer Science},
  volume    = {7560},
  pages     = {1 -- 16},
  doi       = {10.1007/978-3-642-33314-9_1},
  year      = {2012},
}