Amtoft, T., Nielson, F. and Nielson, H.R. 1997. Polymorphic Subtyping for Side Effects. DAIMI Report Series. 26, 529 (Oct. 1997). DOI:https://doi.org/10.7146/dpb.v26i529.7058.