@incollection{coecke2013logic, title = "Compositional Quantum Logic", author = "Bob Coecke and Chris Heunen and Aleks Kissinger", year = "2013", booktitle = "Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky", publisher = "Springer", series = "Lecture Notes in Computer Science (LNCS)", volume = "7860", }