Bi as an assertion language for mutable data structures (2001)

by Samin S Ishtiaq, Peter W O’Hearn
Venue:In Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’01