Hybrid Path-Sums for Hybrid Quantum Programs — Christophe Chareton, Jad Issa, Mathieu Nguyen, Nicolas Blanco, Sébastien Bardin | Kutubxona