Semantic techniques in quantum computation - Gay, Simon; mackie, Ian (Cambridge University Press, 2010)