BI as an assertion language for mutable data structures. (2001)

by S Isthiaq, P W O’Hearn
Venue:Proc. 28th POPL conference,