Alberto Pardo: Fusion of recursive programs with computational effects. Theor. Comput. Sci. 260(1-2): 165-207 (2001)