Nielson, H. R., Nielson, F. and Amtoft, T. (1996) “Polymorphic Subtyping for Effect Analysis: The Integration”, DAIMI Report Series, 25(501). doi: 10.7146/dpb.v25i501.7030.