F. Nielson, H. R. Nielson, og T. Amtoft, “Polymorphic Subtyping for Effect Analysis: the Algroithm”, DPB, bd. 25, nr. 503, apr. 1996.