Initial algebra semantics and continuous algebras (1977)

by J A Goguen, J W Thatcher, E G Wagner, J B Wright
Venue:J. ACM