On Coalgebras and Final Semantics (2000)

by J Worrell