Initial algebra semantics (1974)

by J A Goguen, J W Thatcher
Venue:In 15th Symp. Switching and Automata Theory