@misc{W2137628566,
  author = {John Reynolds},
  title = {Separation logic: a logic for shared mutable data structures},
  year = {2003},
  doi = {https://doi.org/10.1109/lics.2002.1029817}
}