Amtoft, T., Nielson, F., Nielson, H. R., & Ammann, J. (1996). Polymorphic Subtyping for Effect Analysis: The Semantics. DAIMI Report Series, 25(502). https://doi.org/10.7146/dpb.v25i502.7031