Title: Canonical Forms in Finitely Presented Algebras (Research notes in theoretical computer science)