1. Abramsky, S., & Coecke, B. (2004). A categorical semantics of quantum protocols. In Proceedings of the 19th annual IEEE symposium on logic in computer science: LICS 2004 (pp. 415–425). IEEE Computer Science Press. Also arXiv: 0402130v5 [quant-ph/].
2. Abramsky, S., & Coecke, B. (2008). Categorical quantum mechanics. In K. Engesser, D. Gabbay, D. Lehman (Eds.), Handbook of quantum logic and quantum structures II. Amsterdam: Elsevier.
3. Abramsky, S., & Duncan, R. (2006). A categorical quantum logic. Mathematical Structures in Computer Science, 16, 486–489.
4. Alfsen, E.M. (1971). Compact convex sets and boundary integrals. Springer.
5. Alfsen, E.M., & Shultz, F.W. (2002). State spaces of operator algebras: basic theory, orientations, and C*-products. Boston: Birkhauser.