Reachability Problems - Paul C. Bell, Patrick Totzke, Igor Potapov (Springer, 2021)