Permission accounting in separation logic (2005)

by R Bornat, C Calcagno, P O’Hearn, M Parkinson
Venue:In POPL, ACM