Daniele Turi Jan J. M. M. Rutten On the Foundations of Final Coalgebra Semantics. 481-540 1998 8 Mathematical Structures in Computer Science 5 db/journals/mscs/mscs8.html#TuriR98