F. Nielson and H. R. Nielson, “Constraints for Polymorphic Behaviours of Concurrent ML”, DPB, vol. 24, no. 496, Oct. 1995.