Title: Biblio RTF Export
Author: Biblio 7.x

K.  Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., ?Proving Quantum Programs Correct?, Schloss Dagstuhl, 2021.

S.  Zhu, Hung, S. - H., Chakrabarti, S., and Wu, X., ?On the Principles of Differentiable Quantum Programming Languages?, 2020.