1. A Categorical Semantics of Quantum Protocols;Abramsky,2004
2. Toposes, Triples and Theories;Barr;Reprints in Theory and Applications of Categories,2005
3. Distributive Laws;Beck,1969
4. Handbook of Categorical Algebra
5. Mathematical Foundations for Distributed Compositional Model of Meaning. Lambek Festschrift;Coecke;Linguistic Analysis,2010