Semantic techniques in quantum computation - Gay, Simon, 1969-; Mackie, I. (Ian) (Cambridge, ENK. ; New York : Cambridge University Press, 2010)
Includes bibliographical references and index.