[PLanQC'24] QbC: Quantum Correctness by Construction | ACM SIGPLAN | Podwise