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