Rand, R., Paykin, J., Lee, D.-H., & Zdancewic, S. (2019). ReQWIRE: Reasoning about Reversible Quantum Circuits. EPTCS, 287. http://doi.org/10.4204/EPTCS.287.17 (Original work published January 2019)