Amtoft, T.; Nielson, F.; Nielson, H. R. Polymorphic Subtyping for Side Effects. DPB 1997, 26.