T. Amtoft, F. Nielson, og H. R. Nielson, “Polymorphic Subtyping for Side Effects”, DPB, bd. 26, nr. 529, okt. 1997.