Abstract structure of unitary oracles for quantum algorithms - Zeng, W; Vicary, J (2014)