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‘04) (pp. 415–425). IEEE Computer Science Press. (Extended version at arXiv: quant-ph/0402130 ).
2. Barnum, H., & Wilce, A. (2009). Ordered linear spaces and categories as frameworks for information-processing characterizations of quantum and classical theory (preprint).
3. Beran, L. (1985). Orthomodular lattices: algebraic approach. Dordrecht: Reidel Publishing Company.
4. Berberian, S.K. (1972). Baer *-rings, Die Grundlehren der mathematischen Wissenschaften band 195. New York-Berlin: Springer-Verlag.
5. Coecke, B., & Duncan, R. (2011). Interacting quantum observables: Categorical algebra and diagrammatics. New Journal of Physics, 13, 85.