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

by R M Burstall, J A Goguen
Venue:Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School directed by