Why algebraic theories (1985)

by E G Wagner, S L Bloom, J W Thatcher
Venue:Algebraic methods in semantics