Algorithmic and Geometric Topics Around Free Groups and Automorphisms - Aramayona, Javier; Diekert, Volker; Leininger, Christopher J.; Silva, Pedro V.; Weiß, Armin (Springer International Publishing : Imprint: Birkhäuser, 2017)