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.
No references recorded for this publication.
No citations of this publication recorded.