Local action and abstract separation logic (2007)

by C Calcagno, P W O’Hearn, H Yang
Venue:In LICS