@article{DangHoefnerMoeller2018,
  author    = {Han Hing Dang and Peter H{\"o}fner and Bernhard M{\"o}ller},
  title     = {Algebraic separation logic},
  journal   = {The Journal of Logic and Algebraic Programming},
  volume    = {80},
  number    = {6},
  pages     = {221 -- 247},
  doi       = {10.1016/j.jlap.2011.04.003},
  year      = {2018},
}