Algebras and combinators. Algebra universalis (1981)

by E Engeler