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