Semantic techniques in quantum computation - Gay, Simon, Ed.; Mackie, Ian, Ed. (Cambridge Cambridge University Press, 2010)
Keywords: Quantum computation