@article(bub07,
 author       = {J. Bub},
 year         = {2007},
 title        = {{Quantum Probabilities as Degrees of Belief}},
 journal      = {Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics},
 volume       = {38},
 number       = {2},
 pages        = {232 -- 254},
 doi          = {10.1016/j.shpsb.2006.09.002},
)
@incollection(chaput,
 author       = {P. Chaput and V. Danos and P. Panangaden and G. Plotkin},
 year         = {2009},
 title        = {Approximating Markov Processes by Averaging},
 editor       = {S. Albers and Marchetti-Spaccamela, A. and Y. Matias and S. Nikoletseas and W. Thomas},
 booktitle    = {Automata, Languages and Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {5556},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {127--138},
 doi          = {10.1007/978-3-642-02930-1\_11},
)
@article(coecke12,
 author       = {B. Coecke and R. Spekkens},
 year         = {2012},
 title        = {Picturing classical and quantum Bayesian inference},
 journal      = {Synthese},
 volume       = {186},
 number       = {3},
 pages        = {651--696},
 doi          = {10.1007/s11229-011-9917-5},
)
@article(Elitzur93,
 author       = {A. Elitzur and L. Vaidman},
 year         = {1993},
 title        = {Quantum mechanical interaction-free measurements},
 journal      = {Foundations of Physics},
 volume       = {23},
 number       = {7},
 pages        = {987--997},
 doi          = {10.1007/BF00736012},
)
@incollection(FurberJ13a,
 author       = {R. Furber and B. Jacobs},
 year         = {2013},
 title        = {{From Kleisli Categories to Commutative C$^*$-Algebras: Probabilistic Gelfand Duality}},
 editor       = {R. Heckel and S. Milius},
 booktitle    = {Algebra and Coalgebra in Computer Science},
 series       = {Lecture Notes in Computer Science},
 volume       = {8089},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {141--157},
 doi          = {10.1007/978-3-642-40206-7\_12},
)
@article(Jacobs13b,
 author       = {B. Jacobs},
 year         = {2013},
 title        = {{On Block Structures in Quantum Computation}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {298},
 number       = {0},
 pages        = {233 -- 255},
 doi          = {10.1016/j.entcs.2013.09.016},
 note         = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \{MFPS\} \{XXIX\}},
)
@article(newdirections,
 author       = {B. Jacobs},
 year         = {2015},
 title        = {{New Directions in Categorical Logic for Classical, Probabilistic and Quantum Logic}},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {3},
)
@inproceedings(JacobsM12b,
 author       = {B. Jacobs and J. Mandemaker},
 year         = {2012},
 title        = {The Expectation Monad in Quantum Foundations},
 editor       = {B. Jacobs and P. Selinger and B. Spitters},
 booktitle    = {Quantum Physics and Logic (QPL) 2011},
 series       = {Elect. Proc. in Theor. Comp. Sci.},
 volume       = {95},
 pages        = {143--182},
 doi          = {10.4204/EPTCS.95.12},
)
@incollection(JacobsM12c,
 author       = {B. Jacobs and J. Mandemaker},
 year         = {2016, to appear},
 title        = {Relating Operator Spaces via Adjunctions},
 editor       = {J. Chubb Reimann and V. Harizanov and A. Eskandarian},
 booktitle    = {Logic and Algebraic Structures in Quantum Computing and Information},
 series       = {Lect. Notes in Logic},
 publisher    = {Cambridge Univ. Press},
 url          = {http://arxiv.org/abs/1201.1272},
)
@article(leifer12,
 author       = {M. Leifer and R. Spekkens},
 year         = {2013},
 title        = {Towards a formulation of quantum theory as a causally neutral theory of {Bayesian} inference},
 journal      = {Phys. Rev. A},
 volume       = {88(5)},
 pages        = {052130},
)
@article(RussoDye66,
 author       = {B. Russo and H.A. Dye},
 year         = {1966},
 title        = {{A Note on Unitary Operators in $C\sp*$-algebras.}},
 journal      = {Duke Math. J.},
 volume       = {33},
 pages        = {413--416},
 doi          = {10.1215/S0012-7094-66-03346-1},
)
@book(TakesakiI,
 author       = {Masamichi Takesaki},
 year         = {2002},
 title        = {{Theory of Operator Algebra, volume I}},
 series       = {Encyclopedia of Mathematical Sciences},
 volume       = {124},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-6188-9},
)
@book(TakesakiIII,
 author       = {Masamichi Takesaki},
 year         = {2003},
 title        = {{Theory of Operator Algebras, volume III}},
 series       = {Encyclopedia of Mathematical Sciences},
 volume       = {127},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-3-662-10453-8},
)
@article(tomiyama,
 author       = {Jun Tomiyama},
 year         = {1957},
 title        = {{On the Projection of Norm One in W*-algebras}},
 journal      = {Proceedings of the Japan Academy},
 volume       = {33},
 number       = {10},
 pages        = {608--612},
 doi          = {10.3792/pja/1195524885},
)