Quantum Computational Complexity - Watrous, John (Computational Complexity, 2011)
Keywords: Interactive Proof; Quantum Circuit; Quantum Operation; Toffoli Gate; Turing Machine