Amtoft, Torben, Flemming Nielson, and Hanne Riis Nielson. “Polymorphic Subtyping for Side Effects”. DAIMI Report Series 26, no. 529 (October 1, 1997). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7058.