John Watrous Quantum algorithms for solvable groups. 60-67 2001 STOC http://doi.acm.org/10.1145/380752.380759 db/conf/stoc/stoc2001.html#Watrous01