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