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

by Horst Reichel
Venue:Mathematical Structures in Computer Science