Amtoft, T., F. Nielson, H. R. Nielson, and J. Ammann. “Polymorphic Subtyping for Effect Analysis: The Semantics”. DAIMI Report Series, vol. 25, no. 502, Apr. 1996, doi:10.7146/dpb.v25i502.7031.