1. A categorical semantics of quantum protocols;Abramsky,2004
2. A categorical quantum logic;Abramsky,2004
3. Completely positive linear maps on complex matrices;Choi;Linear Algebra and its Applications,1975
4. Quantum weakest preconditions;D'Hondt,2004
5. The geometry of tensor calculus I;Joyal;Advances in Mathematics,1991