Nielson, F., Nielson, H. R. and Amtoft, T. (1996) “Polymorphic Subtyping for Effect Analysis: the Algroithm”, DAIMI Report Series, 25(503). doi: 10.7146/dpb.v25i503.7032.