et al. Initial algebra semantics and continuous algebras (1977)

by J A Goguen, J W Thatcher
Venue:Journal of the ACM