D.: Enforcing resource usage protocols via scoped methods (2003)

by G Tan, X Ou, Walker
Venue:Appeared in the 10th International Workshops on Foundations of Object-Oriented Languages