See paper just now uploaded in Library Quantum Computing.