The Structure and Interpretation of Quantum Programs I: Foundations - David Wakeham (2025)