A New Formulation of Grover's Algorithm - Michael Stay (2000)