1. S. Aaronson, Quantum lower bound for recursive Fourier sampling, arXiv:quant-ph/0209060.
2. Read the fine print;Aaronson;Nature Physics,2015
3. Scaffold: Quantum Programming Language, Technical Report TR-934-12;Abhari,2012
4. High-Level Methods for Quantum Computation and Information;Abramsky,2004
5. A categorical semantics of quantum protocols;Abramsky,2004