Reachability Problems - Hague; Potapov, Igor (Springer International Publishing, 2017)