String Matching and algorithmic problems in free groups - Madlener, Klaus (1979)