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