Permission accounting in separation logic (2005)

by R Bornat, C Calcagno, P O’Hearn, M Parkinson
Venue:POPL ’05: Proc. 32nd symposium on Principles of programming languages