F. Nielson, H. R. Nielson, and T. Amtoft, “Polymorphic Subtyping for Effect Analysis: the Algroithm”, DPB, vol. 25, no. 503, Apr. 1996.