Nielson, F. m.fl. 1996. Polymorphic Subtyping for Effect Analysis: the Algroithm. DAIMI Report Series. 25, 503 (apr. 1996). DOI:https://doi.org/10.7146/dpb.v25i503.7032.