ishtiaq_ohearn_bi_2001:
  type: article
  title: '{BI} as an assertion language for mutable data structures'
  author:
  - Ishtiaq, Samin S.
  - O'Hearn, Peter W.
  date: 2001
  page-range: 14-26
  serial-number:
    doi: 10.1145/360204.375719
  parent:
    type: proceedings
    title: Proceedings of the 28th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages} ({POPL})