@article{O_Hearn_2015,
    doi = {10.1016/j.jlamp.2014.08.002},
    url = {https://doi.org/10.1016%2Fj.jlamp.2014.08.002},
    year = {2015},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {84},
    number = {3},
    pages = {285--302},
    author = {Peter W. O{\textquotesingle}Hearn and Rasmus L. Petersen and Jules Villard and Akbar Hussain},
    title = {On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra},
    journal = {Journal of Logical and Algebraic Methods in Programming}
}

@article{O_Hearn_2015, doi = {10.1016/j.jlamp.2014.08.002}, url = {https://doi.org/10.1016%2Fj.jlamp.2014.08.002}, year = {2015}, month = {may}, publisher = {Elsevier {BV}}, volume = {84}, number = {3}, pages = {285--302}, author = {Peter W. O{\textquotesingle}Hearn and Rasmus L. Petersen and Jules Villard and Akbar Hussain}, title = {On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra}, journal = {Journal of Logical and Algebraic Methods in Programming} }