A. Dubinsky: Computation on arbitrary algebras. Lambda-Calculus and Computer Science Theory 1975: 319-341