Peter W. O'Hearn. Separation logic. Communications of the ACM, 62(2):86-95, 2019. [doi]
@article{OHearn19, title = {Separation logic}, author = {Peter W. O'Hearn}, year = {2019}, doi = {10.1145/3211968}, url = {https://doi.org/10.1145/3211968}, researchr = {https://researchr.org/publication/OHearn19}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {62}, number = {2}, pages = {86-95}, }