"A Categorical Semantics of Quantum Protocols."

Samson Abramsky, Bob Coecke (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics