Resources, concurrency, and local reasoning. (2007)

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