Amtoft, T.; Nielson, F.; Nielson, H. R.; Ammann, J. Polymorphic Subtyping for Effect Analysis: The Semantics. DPB 1996, 25.