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