Vries, Francalanza, Hennessy, 2010. Uniqueness Typing for Resource Management in Message-Passing Concurrency 22.. https://doi.org/10.4204/eptcs.22.3