Alexei Kitaev John Watrous Parallelization, amplification, and exponential time simulation of quantum interactive proof systems. 608-617 2000 STOC http://doi.acm.org/10.1145/335305.335387 db/conf/stoc/stoc2000.html#KitaevW00