John Watrous PSPACE Has Constant-Round Quantum Interactive Proof Systems. 112-119 1999 FOCS http://computer.org/proceedings/focs/0409/04090112abs.htm db/conf/focs/focs99.html#Watrous99