https://1library.org/document/ky68mn4z-on-computational-power-quantum-read-once-branching-programs.html