@article{DangHoefnerMoeller2009,
  author    = {Han-Hing Dang and Peter H{\"o}fner and Bernhard M{\"o}ller},
  title     = {Towards algebraic separation logic},
  journal   = {Lecture Notes in Computer Science},
  volume    = {5827},
  pages     = {59 -- 72},
  doi       = {10.1007/978-3-642-04639-1_5},
  year      = {2009},
}