@article{Dang_MH_11,
    author           = {Dang, Han-Hing and M\"oller, Bernhard and H\"ofner, Peter},
    doi              = {10.1016/j.jlap.2011.04.003},
    journal          = {The Journal of Logic and Algebraic Programming},
    keywords         = {separation logic; algebra},
    month            = jun,
    number           = {6},
    pages            = {221--247},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4802.pdf},
    title            = {Algebraic Separation Logic},
    volume           = {80},
    year             = {2011}
  }