Reachability Problems - Delzanno, Giorgio (Springer Berlin Heidelberg, 2011)