Herbert Klaeren. Recursive Definitions of Operations in Universal Algebras. In Jørgen Staunstrup, editor, Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Volume 134 of Lecture Notes in Computer Science, pages 268-281, Springer, 1981.
Abstract is missing.