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