Resources, concurrency, and local reasoning (2007)

by P W O’Hearn
Venue:Theoretical Computer Science