Permission accounting in separation logic (2005)

by R Bornat, C Calcagno, P O’Hearn, M Parkinson
Venue:In 32nd POPL, pp59–70