Singhal, K. (2020). Verified translation between low-level quantum languages [Conference paper]. https://ks.cs.uchicago.edu/publication/verified-translation/