-Ch. Meinel: Modified Branching Programs and Their Computational Power, Springer-Verlag 1989