@article{Biering_2007,
    doi = {10.1145/1275497.1275499},
    url = {https://doi.org/10.1145%2F1275497.1275499},
    year = {2007},
    month = {aug},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {29},
    number = {5},
    pages = {24},
    author = {Bodil Biering and Lars Birkedal and Noah Torp-Smith},
    title = {{BI}-hyperdoctrines, higher-order separation logic, and abstraction},
    journal = {{ACM} Transactions on Programming Languages and Systems}
}

@article{Biering_2007, doi = {10.1145/1275497.1275499}, url = {https://doi.org/10.1145%2F1275497.1275499}, year = {2007}, month = {aug}, publisher = {Association for Computing Machinery ({ACM})}, volume = {29}, number = {5}, pages = {24}, author = {Bodil Biering and Lars Birkedal and Noah Torp-Smith}, title = {{BI}-hyperdoctrines, higher-order separation logic, and abstraction}, journal = {{ACM} Transactions on Programming Languages and Systems} }