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