The algebra of implicit operations, Algebra Universalis 26 (1989)

by J Almeida