Canonical forms in finitely presented algebras - Le Chenadec, Philippe (Pitman, 1986)