Minimal Ownership for Active Objects.

Published in: Typing, Analysis and Verification of Heap-Manipulating Programs (2009)