A Formal Derivation of Grover's Quantum Search Algorithm | IEEE Conference Publication | IEEE Xplore