Theory of Quantum Computation, Communication, and Cryptography - Dam, Wim; Kanade, Takeo; Kendon, Vivien M.; Severini, Simone (Springer Berlin Heidelberg, 2011)