Alberto Pardo: Monadic Corecursion - Definition, Fusion Laws, and Applications. CMCS 1998: 105-139