1
Model checking for context free processes.
Book
Subject (ZB): ...algorithm theory...