On finitely generated non-finite Presentations of groups and monoids - Madlener, Klaus (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1983)