"Modified Branching Programs and Their Computational Power" - читать интересную книгу автора (Meinel C.)