Groups presented by finite two-monadic Church-Rosser Thue systems - OTTO, Friedrich (1984)