@article(abr11,
 author       = "Samson Abramsky and Adam Brandenburger",
 year         = "2011",
 title        = "The Sheaf-Theoretic Structure of Non-Locality and Contextuality",
 journal      = "New Journal of Physics",
 volume       = "13",
 eid          = "113036",
 doi          = "10.1088/1367-2630/13/11/113036",
)
@inproceedings(abr12,
 author       = "Samson Abramsky and Shane Mansfield and Rui Soares Barbosa",
 year         = "2012",
 title        = "Presheaf Models for Concurrency",
 editor       = "Bart Jacobs and Peter Selinger and Bas Spitters",
 booktitle    = "Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011)",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "95",
 pages        = "1--14",
 doi          = "10.4204/EPTCS.95.1",
)
@misc(bae11,
 author       = "John Baez and Tobias Fritz and Tom Leinster",
 year         = "2011",
 title        = "A Characterization of Entropy in Terms of Information Loss",
 url          = "http://arxiv.org/abs/1106.1791",
)
@article(bal06,
 author       = "Alexandru Baltag and Sonja Smets",
 year         = "2006",
 title        = "LQP:\ The Dynamic Logic of Quantum Information",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 pages        = "491--525",
 doi          = "10.1017/S0960129506005299",
)
@article(bar07,
 author       = "Jonathan Barrett",
 year         = "2007",
 title        = "Information Processing in Generalized Probabilistic Theories",
 journal      = "Physical Review A",
 volume       = "75",
 eid          = "032304",
 doi          = "10.1103/PhysRevA.75.032304",
)
@article(car87,
 author       = "Aurelio Carboni and Robert F. C. Walters",
 year         = "1987",
 title        = "Cartesian Bicategories I",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "49",
 pages        = "11--32",
 doi          = "10.1016/0022-4049(87)90121-6",
)
@inproceedings(cat97,
 author       = "Gian Luca Cattani and Glynn Winskel",
 year         = "1997",
 title        = "Presheaf Models for Concurrency",
 editor       = "Dirk van Dalen and Marc Bezem",
 booktitle    = "Computer Science Logic:\ 10th International Workshop, CSL'96",
 series       = "Lecture Notes in Computer Science",
 volume       = "1258",
 publisher    = "Springer",
 pages        = "58--75",
 doi          = "10.1007/3-540-63172-0\_32",
)
@book(dob07,
 author       = "Ernst-Erich Doberkat",
 year         = "2007",
 title        = "Stochastic Relations:\ Foundations for {M}arkov Transition Systems",
 publisher    = "Chapman \& Hall/CRC",
 doi          = "10.1201/9781584889427",
)
@mastersthesis(fon12,
 author       = "Brendan Fong",
 year         = "2012",
 title        = "Causal Theories:\ A Categorical Perspective on Bayesian Networks",
 school       = "University of Oxford",
)
@book(fre90,
 author       = "Peter J. Freyd and Andre Scedrov",
 year         = "1990",
 title        = "Categories, Allegories",
 publisher    = "North-Holland",
)
@misc(fri09,
 author       = "Tobias Fritz",
 year         = "2009",
 title        = "A Presentation of the Category of Stochastic Matrices",
 url          = "http://arxiv.org/abs/0902.2554",
)
@inproceedings(gir82,
 author       = "Mich\`{e}le Giry",
 year         = "1982",
 title        = "A Categorical Approach to Probability Theory",
 editor       = "B. Banaschewski",
 booktitle    = "Categorical Aspects of Topology and Analysis",
 series       = "Lecture Notes in Mathematics",
 volume       = "915",
 publisher    = "Springer",
 pages        = "68--85",
 doi          = "10.1007/BFb0092872",
)
@article(har93,
 author       = "Lucien Hardy",
 year         = "1993",
 title        = "Nonlocality for Two Particles without Inequalities for Almost All Entangled States",
 journal      = "Physical Review Letters",
 volume       = "71",
 pages        = "1665--1668",
 doi          = "10.1103/PhysRevLett.71.1665",
)
@book(har00,
 author       = "David Harel and Dexter Kozen and Jerzy Tiuryn",
 year         = "2000",
 title        = "Dynamic Logic",
 publisher    = "MIT Press",
)
@article(her11,
 author       = "Claudio Hermida",
 year         = "2011",
 title        = "A Categorical Outlook on Relational Modalities and Simulations",
 journal      = "Information and Computation",
 volume       = "209",
 pages        = "1505--1517",
 doi          = "10.1016/j.ic.2010.09.009",
)
@inproceedings(jac10,
 author       = "Bart Jacobs",
 year         = "2010",
 title        = "Convexity, Duality and Effects",
 editor       = "Christian S. Calude and Vladimiro Sassone",
 booktitle    = "Theoretical Computer Science:\ 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010",
 publisher    = "Springer",
 pages        = "1--19",
 doi          = "10.1007/978-3-642-15240-5\_1",
)
@article(jac11,
 author       = "Bart Jacobs",
 year         = "2011",
 title        = "Probabilities, Distribution Monads, and Convex Categories",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 pages        = "3323--3336",
 doi          = "10.1016/j.tcs.2011.04.005",
)
@unpublished(law62,
 author       = "F. William Lawvere",
 year         = "1962",
 title        = "The Category of Probabilistic Mappings",
 note         = "Unpublished manuscript",
)
@article(man07,
 author       = "Ernie Manes and Philip Mulry",
 year         = "2007",
 title        = "Monad Compositions I:\ General Constructions and Recursive Distributive Laws",
 journal      = "Theory and Applications of Categories",
 volume       = "18",
 pages        = "172--208",
 url          = "http://www.tac.mta.ca/tac/volumes/18/7/18-07abs.html",
)
@article(mer81,
 author       = "N. David Mermin",
 year         = "1981",
 title        = "Quantum Mysteries for Anyone",
 journal      = "Journal of Philosophy",
 volume       = "78",
 pages        = "397--408",
 doi          = "10.2307/2026482",
)
@inproceedings(pan98,
 author       = "Prakash Panangaden",
 year         = "1998",
 title        = "Probabilistic Relations",
 editor       = "C. Baier and M. Huth and M. Kwiatkowska and M. Ryan",
 booktitle    = "Preliminary Proceedings of PROBMIV'98",
 pages        = "59--74",
)
@article(pan99,
 author       = "Prakash Panangaden",
 year         = "1999",
 title        = "The Category of Markov Kernels",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "22",
 pages        = "171--187",
 doi          = "10.1016/S1571-0661(05)80602-4",
)
@article(pop94,
 author       = "Sandu Popescu and Daniel Rohrlich",
 year         = "1994",
 title        = "Quantum Nonlocality as an Axiom",
 journal      = "Foundations of Physics",
 volume       = "24",
 pages        = "397--385",
 doi          = "10.1007/BF02058098",
)
@book(ros96,
 author       = "Kimmo I. Rosenthal",
 year         = "1996",
 title        = "The Theory of Quantaloids",
 publisher    = "Addison Wesley",
)
@inproceedings(sob12,
 author       = "Pawe{\l } Soboci{\'n}ski",
 year         = "2012",
 title        = "Relational Presheaves as Labelled Transition Systems",
 editor       = "Dirk Pattinson and Lutz Schr{\"o}der",
 booktitle    = "Coalgebraic Methods in Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "7399",
 publisher    = "Springer",
 pages        = "40--50",
 doi          = "10.1007/978-3-642-32784-1\_3",
)
@phdthesis(var03,
 author       = "Daniele Varacca",
 year         = "2003",
 title        = "Probability, Nondeterminism and Concurrency:\ Two Denotational Models for Probabilistic Computation",
 school       = "University of Aarhus",
)
@inproceedings(win97,
 author       = "Glynn Winskel and Mogens Nielsen",
 year         = "1997",
 title        = "Presheaves as Transition Systems",
 editor       = "Doron Peled and Vaughan R. Pratt and Gerard J. Holzmann",
 booktitle    = "Partial Order Methods in Verification:\ DIMACS Workshop July 24--26, 1996",
 publisher    = "American Mathematical Society",
 pages        = "129--140",
)