Resources, concurrency, and local reasoning (2007)

by P W O’Hearn
Venue:Theor. Comput. Sci