An approach to object semantics based on terminal coalgebras (1995)

by H Reichel
Venue:Mathematical Structures in Computer Science