A categorical semantics of quantum protocols - Abramsky, S; Coecke, B (IEEE, 2004)