Amtoft, Torben, Flemming Nielson, Hanne Riis Nielson, and Jürgen Ammann. 1996. “Polymorphic Subtyping for Effect Analysis: The Semantics”. DAIMI Report Series 25 (502). https://doi.org/10.7146/dpb.v25i502.7031.