Flemming Nielson Hanne Riis Nielson Constraints for Polymorphic Behaviours of Concurrent ML. 73-88 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#NielsonN94