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