On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces.

Davide Sangiorgi On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces. 447-480 1998 8 Mathematical Structures in Computer Science 5 db/journals/mscs/mscs8.html#Sangiorgi98