Nielson, F., and H. R. Nielson. “Constraints for Polymorphic Behaviours of Concurrent ML”. DAIMI Report Series, vol. 24, no. 496, Oct. 1995, doi:10.7146/dpb.v24i496.7024.