T. Amtoft, F. Nielson, and H. R. Nielson, “Polymorphic Subtyping for Side Effects”, DPB, vol. 26, no. 529, Oct. 1997.