Quantum information computation and communication - Jones, Jonathan A (CUP, 2012)