A Categorical semantics of Quantum Protocols (Oxford University Computing Laboratory, 2004)

(untitled) - Abramsky, S; Coecke, B