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