Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov Reachability Problems - Springer 2015 - Lecture Notes in Computer Science . ISBN: 9783319245379 Subjects--Index Terms: Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages