"On the Foundations of Final Coalgebra Semantics."

Daniele Turi, Jan J. M. M. Rutten (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics