@article{Varming_2008,
    doi = {10.1016/j.entcs.2008.10.022},
    url = {https://doi.org/10.1016%2Fj.entcs.2008.10.022},
    year = {2008},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {218},
    pages = {371--389},
    author = {Carsten Varming and Lars Birkedal},
    title = {Higher-Order Separation Logic in Isabelle/{HOLCF}},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Varming_2008, doi = {10.1016/j.entcs.2008.10.022}, url = {https://doi.org/10.1016%2Fj.entcs.2008.10.022}, year = {2008}, month = {oct}, publisher = {Elsevier {BV}}, volume = {218}, pages = {371--389}, author = {Carsten Varming and Lars Birkedal}, title = {Higher-Order Separation Logic in Isabelle/{HOLCF}}, journal = {Electronic Notes in Theoretical Computer Science} }