@book(alfsen2012geometry,
 author       = {Erik M Alfsen and Frederic W Shultz},
 year         = {2012},
 title        = {Geometry of state spaces of operator algebras},
 publisher    = {Springer Science \& Business Media},
)
@article(barnum2016composites,
 author       = {Howard Barnum and Matthew Graydon and Alexander Wilce},
 year         = {2016},
 title        = {Composites and categories of euclidean Jordan algebras},
 journal      = {arXiv preprint arXiv:1606.09331},
)
@article(barnum2014higher,
 author       = {Howard Barnum and Markus P M{\"u}ller and Cozmin Ududec},
 year         = {2014},
 title        = {Higher-order interference and single-system postulates characterizing quantum theory},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {12},
 pages        = {123029},
 doi          = {10.1088/1367-2630/16/12/123029},
)
@article(barrett2007information,
 author       = {Jonathan Barrett},
 year         = {2007},
 title        = {Information processing in generalized probabilistic theories},
 journal      = {Physical Review A},
 volume       = {75},
 number       = {3},
 pages        = {032304},
 doi          = {10.1103/PhysRevA.75.032304},
)
@article(brandao2013resource,
 author       = {Fernando GSL Brandao and Micha{\l} Horodecki and Jonathan Oppenheim and Joseph M Renes and Robert W Spekkens},
 year         = {2013},
 title        = {Resource theory of quantum states out of thermal equilibrium},
 journal      = {Physical Review Letters},
 volume       = {111},
 number       = {25},
 pages        = {250404},
 doi          = {10.1103/PhysRevLett.111.250404},
)
@article(chiribella2010probabilistic,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2010},
 title        = {Probabilistic theories with purification},
 journal      = {Physical Review A},
 volume       = {81},
 number       = {6},
 pages        = {062348},
 doi          = {10.1103/PhysRevA.81.062348},
)
@article(chiribella2011informational,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2011},
 title        = {Informational derivation of quantum theory},
 journal      = {Physical Review A},
 volume       = {84},
 number       = {1},
 pages        = {012311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(cho2015introduction,
 author       = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Abraham Westerbaan},
 year         = {2015},
 title        = {An introduction to effectus theory},
 journal      = {arXiv preprint arXiv:1512.05813},
)
@inproceedings(cho2015quotient,
 author       = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Bram Westerbaan},
 year         = {2015},
 title        = {Quotient-Comprehension Chains},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {{\rm Proceedings of the 12th International Workshop on} Quantum Physics and Logic, {\rm Oxford, U.K., July 15-17, 2015}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 publisher    = {Open Publishing Association},
 pages        = {136--147},
 doi          = {10.4204/EPTCS.195.10},
)
@book(chu2011jordan,
 author       = {Cho-Ho Chu},
 year         = {2011},
 title        = {Jordan structures in geometry and analysis},
 volume       = {190},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139060165},
)
@article(chu2017infinite,
 author       = {Cho-Ho Chu},
 year         = {2017},
 title        = {Infinite dimensional Jordan algebras and symmetric cones},
 journal      = {Journal of Algebra},
 volume       = {491},
 pages        = {357--371},
 doi          = {10.1016/j.jalgebra.2017.08.017},
)
@inproceedings(cunningham2017purity,
 author       = {Oscar Cunningham and Chris Heunen},
 year         = {2018},
 title        = {Purity through Factorisation},
 editor       = {Bob Coecke and Aleks Kissinger},
 booktitle    = {{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 publisher    = {Open Publishing Association},
 pages        = {315--328},
 doi          = {10.4204/EPTCS.266.20},
)
@article(devetak2005distillation,
 author       = {Igor Devetak},
 year         = {2005},
 title        = {Distillation of local purity from quantum states},
 journal      = {Physical Review A},
 volume       = {71},
 number       = {6},
 pages        = {062303},
 doi          = {10.1103/PhysRevA.71.062303},
)
@book(faraut1994analysis,
 author       = {Jacques Faraut and Adam Kor{\'a}nyi},
 year         = {1994},
 title        = {Analysis on symmetric cones},
 publisher    = {Clarendon Press Oxford},
)
@article(gudder2008characterization,
 author       = {Stan Gudder and Fr{\'e}d{\'e}ric Latr{\'e}moli{\`e}re},
 year         = {2008},
 title        = {Characterization of the sequential product on quantum effects},
 journal      = {Journal of Mathematical Physics},
 volume       = {49},
 number       = {5},
 pages        = {052106},
 doi          = {10.1063/1.2904475},
)
@book(hanche1984jordan,
 author       = {Hanche-Olsen, Harald and St{\o}rmer, Erling},
 year         = {1984},
 title        = {Jordan operator algebras},
 volume       = {21},
 publisher    = {Pitman Advanced Pub. Program},
)
@book(jordan1933,
 author       = {Pascual Jordan},
 year         = {1933},
 title        = {{\"U}ber Verallgemeinerungsm{\"o}glichkeiten des Formalismus der Quantenmechanik},
 publisher    = {Weidmann},
)
@incollection(jordan1993algebraic,
 author       = {Pascual Jordan and John von Neumann and Eugene P Wigner},
 year         = {1993},
 title        = {On an algebraic generalization of the quantum mechanical formalism},
 booktitle    = {The Collected Works of Eugene Paul Wigner},
 publisher    = {Springer},
 pages        = {298--333},
 doi          = {10.1007/978-3-662-02781-3\_21},
)
@book(kadison1951representation,
 author       = {Richard V Kadison},
 year         = {1951},
 title        = {A representation theory for commutative topological algebra},
 volume       = {7},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/memo/0007},
)
@book(kadison2015fundamentals,
 author       = {Richard V Kadison and John R Ringrose},
 year         = {2015},
 title        = {Fundamentals of the Theory of Operator Algebras Volume II: Advanced Theory},
 volume       = {2},
 publisher    = {American Mathematical Soc.},
)
@article(koecher1957positivitatsbereiche,
 author       = {Max Koecher},
 year         = {1957},
 title        = {Positivit\"atsbereiche im $R^n$},
 journal      = {American Journal of Mathematics},
 pages        = {575--596},
 doi          = {10.2307/2372563},
)
@article(masanes2014entanglement,
 author       = {Ll Masanes and Markus P M\"uller and Perez-Garcia, David and Remigiusz Augusiak},
 year         = {2014},
 title        = {{Entanglement and the three-dimensionality of the Bloch ball}},
 journal      = {Journal of Mathematical Physics},
 volume       = {55},
 number       = {12},
 pages        = {122203},
 doi          = {10.1063/1.4903510},
)
@article(selby2018reconstructing,
 author       = {John H Selby and Carlo Maria Scandolo and Bob Coecke},
 year         = {2018},
 title        = {Reconstructing quantum theory from diagrammatic postulates},
 journal      = {arXiv preprint arXiv:1802.00367},
)
@article(sokal2011,
 author       = {Alan D Sokal},
 year         = {2011},
 title        = {A really simple elementary proof of the uniform boundedness theorem},
 journal      = {The American Mathematical Monthly},
 volume       = {118},
 number       = {5},
 pages        = {450--452},
 doi          = {10.4169/amer.math.monthly.118.05.450},
)
@article(westerbaan2016universal,
 author       = {Abraham Westerbaan and Bas Westerbaan},
 year         = {2016},
 title        = {A universal property for sequential measurement},
 journal      = {Journal of Mathematical Physics},
 volume       = {57},
 number       = {9},
 pages        = {092203},
 doi          = {10.1063/1.4961526},
)
@inproceedings(westerbaan2016paschke,
 author       = {Abraham Westerbaan and Bas Westerbaan},
 year         = {2017},
 title        = {Paschke Dilations},
 editor       = {Ross Duncan and Chris Heunen},
 booktitle    = {{\rm Proceedings 13th International Conference on} Quantum Physics and Logic, {\rm Glasgow, Scotland, 6-10 June 2016}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 publisher    = {Open Publishing Association},
 pages        = {229--244},
 doi          = {10.4204/EPTCS.236.15},
)
@phdthesis(bramthesis,
 author       = {Abraham A. Westerbaan},
 year         = {2018},
 title        = {The Category of Von Neumann Algebras},
 school       = {Radboud Universiteit Nijmegen},
 note         = {Preprint available at \url{https://bram.westerbaan.name/thesis.pdf}},
)
@phdthesis(basthesis,
 author       = {Bas Westerbaan},
 year         = {2018},
 title        = {Dagger and dilations in the category of von Neumann algebras},
 school       = {Radboud Universiteit Nijmegen},
 note         = {Preprint available at \url{https://westerbaan.name/~bas/thesis.pdf}},
)
@misc(fundident,
 author       = {John van de Wetering},
 year         = {2018},
 title        = {An algebraic semi-automated proof of the fundamental identity of Jordan algebras},
 note         = {arXiv:1807.00164},
)
@article(wetering2018reconstruction,
 author       = {John van de Wetering},
 year         = {2018},
 title        = {An effect-theoretic reconstruction of quantum theory},
 journal      = {Arxiv preprint 1801.05798},
)
@article(wetering2018sequential,
 author       = {John van de Wetering},
 year         = {2018},
 title        = {{Sequential Product Spaces are Jordan Algebras}},
 journal      = {Arxiv preprint 1803.11139},
)
@article(wetering2018characterisation,
 author       = {John van de Wetering},
 year         = {2018},
 title        = {Three characterisations of the sequential product},
 journal      = {Journal of Mathematical Physics},
 volume       = {59},
 number       = {8},
 doi          = {10.1063/1.5031089},
)
@inproceedings(wilce2016royal,
 author       = {Alexander Wilce},
 year         = {2017},
 title        = {A Royal Road to Quantum Theory (or Thereabouts)},
 editor       = {Ross Duncan and Chris Heunen},
 booktitle    = {{\rm Proceedings 13th International Conference on} Quantum Physics and Logic, {\rm Glasgow, Scotland, 6-10 June 2016}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 publisher    = {Open Publishing Association},
 pages        = {245--254},
 doi          = {10.4204/EPTCS.236.16},
)