Vries, et al.. Uniqueness Typing for Resource Management in Message-passing Concurrency. Open Publishing Association, Mar. 2010, doi:10.4204/eptcs.22.3.