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