Tonder. A Lambda Calculus for Quantum Computation. Society for Industrial & Applied Mathematics (SIAM), 2004, doi:10.1137/s0097539703432165.