Nielson, F.; Nielson, H. R.; Amtoft, T. Polymorphic Subtyping for Effect Analysis: The Algroithm. DPB 1996, 25.