Computable Algebras, Word Problems and Canonical Term Algebras. - Herbert Klaeren; Martin Schulz 003 (Theoretical Computer Science, 1981)