J._J._M._M.__Rutten
A calculus of transition systems (towards universal coalgebra
A Structural Co-Induction Theorem
Initial algebra and final coalgebra semantics for concurrency
On the foundations of final semantics: Non-standard sets, metric spaces, partial orders