Nielson, F.; Nielson, H. R. Constraints for Polymorphic Behaviours of Concurrent ML. DPB 1995, 24.