Lawrence S. Moss, José Meseguer, Joseph A. Goguen. Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theoretical Computer Science, 100(2):267-302, 1992.
@article{MossMG92,
title = {Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability},
author = {Lawrence S. Moss and José Meseguer and Joseph A. Goguen},
year = {1992},
tags = { algebra},
researchr = {https://researchr.org/publication/MossMG92},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {100},
number = {2},
pages = {267-302},
}