Communicating quantum processes
A Lambda Calculus for Quantum Computation