Nielson, Flemming, Hanne Riis Nielson, and Torben Amtoft. 1996. “Polymorphic Subtyping for Effect Analysis: The Algroithm”. DAIMI Report Series 25 (503). https://doi.org/10.7146/dpb.v25i503.7032.