An approach to object semantics based on terminal co-algebras (1995)

by H Reichel
Venue:Math. Struct. Comput. Sci