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