Nielson, F., & Nielson, H. R. (1995). Constraints for Polymorphic Behaviours of Concurrent ML. DAIMI Report Series, 24(496). https://doi.org/10.7146/dpb.v24i496.7024