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.
@inproceedings{Klaeren81,
title = {Recursive Definitions of Operations in Universal Algebras},
author = {Herbert Klaeren},
year = {1981},
tags = { algebra},
researchr = {https://researchr.org/publication/Klaeren81},
cites = {0},
citedby = {0},
pages = {268-281},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981},
editor = {Jørgen Staunstrup},
volume = {134},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11490-4},
}