Nielson, Hanne Riis, et al. “Polymorphic Subtyping for Effect Analysis: The Integration”. DAIMI Report Series, vol. 25, no. 501, Apr. 1996, doi:10.7146/dpb.v25i501.7030.