Initial Algebra Semantics and Continuous Algebras (1977)

by J Goguen, J W Thatcher, E G Wagner, J B Wright
Venue:Journal of The Association for Computing Machinery