On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (1998)

by Daniele Turi, Jan Rutten
Venue:Mathematical Structures in Computer Science 8