"Initial Algebra and Final Coalgebra Semantics for Concurrency."

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