P.W.: BI as an assertion language for mutable data structures (0)

by S Isthiaq, O’Hearn
Venue:In: 28th POPL (2001