J. Bub,
“Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal”,
Foundations of Physics, vol. 40, no. 9-10, pp. 1333 - 1340, 2010.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M.,
“A Verified Optimizer for Quantum Circuits”,
Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.
J. K. Perron, Gullans, M., Taylor, J. M., Stewart, Jr., M. D., and Zimmerman, N. M.,
“Valley Blockade in a Silicon Double Quantum Dot”,
Physical Review B, vol. 96, no. 20, p. 205302, 2017.