Semantic Techniques in Quantum Computation door Simon Gay