On finitely generated non-finite Presentations of groups and monoids - Otto, Friedrich (1983)