Nondeterministic Recursion with Quantum Units (I-V)
  In this paper are discussed some formal properties of quantum devices necessary for implementation of nondeterministic Turing machine. 
Alexander Yu. Vlasov