A quantum decoding algorithm of the simplex code
Tight Bounds on Quantum Searching