Reachability Problems - Hague (Springer International Publishing, 2017)