A. S. Green, Lumsdaine, P. LeFanu, Ross, N. J., Selinger, P., and Valiron, B.,
“Quipper: A Scalable Quantum Programming Language”,
ACM SIGPLAN Notices, vol. 48, no. 6, pp. 333-342, 2013.
A. M. Childs, Leung, D. W., and Vidal, G.,
“Reversible simulation of bipartite product Hamiltonians”,
IEEE Transactions on Information Theory, vol. 50, no. 6, pp. 1189 - 1197, 2004.
M. Coudron, Stark, J., and Vidick, T.,
“Trading Locality for Time: Certifiable Randomness from Low-Depth Circuits”,
Communications in Mathematical Physics, vol. 382, no. 1, pp. 49 - 86, 2021.