Communicating quantum processes
Quantum Computation and Quantum Information