@inproceedings{ishtiaq_ohearn_bi_2001,
 title = {{BI} as an assertion language for mutable data structures},
 author = {Ishtiaq, Samin S. and O'Hearn, Peter W.},
 year = {2001},
 booktitle = {Proceedings of the 28th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages} ({POPL})},
 doi = {10.1145/360204.375719},
 pages = {14--26}
}