Permission accounting in separation logic (2005)

by Richard Bornat, Cristiano Calcagno, Peter O’Hearn, Matthew Parkinson
Venue:In Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’05