Algebras, theories and freeness: an introduction for computer scientists (1982)

by R M Burstall, J A Goguen
Venue:Proc. 1981 Marktoberdorf NATO Summer School. Reidel