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