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

by J Almeida