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