H. R. Nielson, F. Nielson, and T. Amtoft, “Polymorphic Subtyping for Effect Analysis: The Integration”, DPB, vol. 25, no. 501, Apr. 1996.