Algorithmic and Geometric Topics Around Free Groups and Automorphisms
Volker Diekert, Pedro V. Silva, Armin Weiss