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

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