Singhal, K. (2021). Quantum Programming Languages & Verification Bibliography (Version 1.0.0) [Data set]. https://doi.org/10.5281/zenodo.5780237