"Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)" - читать интересную книгу автора (Olivier Bournez, Igor Potapov)