@book(Borceux94,
 author       = {F.~Borceux},
 year         = {1994},
 title        = {Handbook of Categorical Algebra},
 series       = {Encyclopedia of Mathematics},
 volume       = {50, 51 and 52},
 publisher    = {Cambridge Univ. Press},
 doi          = {10.1017/CBO9780511525858},
)
@article(BuschS98,
 author       = {P.~Busch and J.~Singh},
 year         = {1998},
 title        = {L{\"u}ders theorem for unsharp quantum measurements},
 journal      = {Phys. Letters A},
 volume       = {249},
 pages        = {10--12},
 doi          = {10.1016/S0375-9601(98)00704-X},
)
@article(Carboni93,
 author       = {A.~Carboni and S.~Lack and R.~F.~C. Walters},
 year         = {1993},
 title        = {Introduction to extensive and distributive categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {84},
 number       = {2},
 pages        = {145--158},
 doi          = {10.1016/0022-4049(93)90035-R},
)
@inproceedings(Cho15,
 author       = {K.~Cho},
 year         = {2015},
 title        = {Total and Partial Computation in Categorical Quantum Foundations},
 booktitle    = {QPL 2015},
 note         = {To appear},
)
@book(CignoliDM00,
 author       = {R.~Cignoli and I.~D'Ottaviano and D.~Mundici},
 year         = {2000},
 title        = {Algebraic foundations of many-valued reasoning},
 series       = {Trends in Logic},
 volume       = {7},
 publisher    = {Springer},
 doi          = {10.1007/978-94-015-9480-6},
)
@incollection(furber13,
 author       = {R.~Furber and B.~Jacobs},
 year         = {2013},
 title        = {{From {K}leisli categories to commutative $C^*$-algebras: Probabilistic {G}elfand duality}},
 booktitle    = {Algebra and Coalgebra in Computer Science},
 publisher    = {Springer},
 pages        = {141--157},
 doi          = {10.1007/978-3-642-40206-7_12},
)
@book(Grandis12,
 author       = {M.~Grandis},
 year         = {2012},
 title        = {Homological Algebra: The Interplay of Homology with Distributive Lattices and Orthodox Semigroups},
 publisher    = {World Scientific},
 address      = {Singapore},
 doi          = {10.1142/8483},
)
@article(gudder2,
 author       = {S.~Gudder and G.~Nagy},
 year         = {2001},
 title        = {Sequential quantum measurements},
 journal      = {Journal of Mathematical Physics},
 volume       = {42},
 pages        = {5212--5222},
 doi          = {10.1063/1.1407837},
)
@book(halmos57,
 author       = {P.~Halmos},
 year         = {1957},
 title        = {Introduction to Hilbert space and the theory of spectral multiplicity},
 publisher    = {Chelsea New York},
)
@book(Jacobs99,
 author       = {B.~Jacobs},
 year         = {1999},
 title        = {Categorical logic and type theory},
 publisher    = {North Holland},
 address      = {Amsterdam},
)
@inproceedings(Jacobs13,
 author       = {B.~Jacobs},
 year         = {2013},
 title        = {Measurable spaces and their effect logic},
 booktitle    = {Logic in Computer Science},
 organization = {IEEE},
 publisher    = {Computer Science Press},
 doi          = {10.1109/LICS.2013.13},
)
@article(Jacobs14,
 author       = {B.~Jacobs},
 year         = {2015},
 title        = {New directions in categorical logic, for classical, probabilistic and quantum Logic},
 journal      = {Logical Methods in Computer Science},
 note         = {To appear. \hskip.11emplus.33emminus.07em{arXiv}:1205.3940v4 [math.LO]},
)
@article(Janelidze14,
 author       = {Z.~Janelidze},
 year         = {2014},
 title        = {On the Form of Subobjects in Semi-Abelian and Regular Protomodular Categories},
 journal      = {Appl. Categorical Struct.},
 volume       = {22},
 number       = {5--6},
 pages        = {755--766},
 doi          = {10.1007/s10485-013-9355-2},
)
@book(Johnstone82,
 author       = {P.~Johnstone},
 year         = {1982},
 title        = {Stone spaces},
 series       = {Cambridge Studies in Advanced Mathematics},
 volume       = {3},
 publisher    = {Cambridge Univ. Press},
)
@article(MacLane50,
 author       = {S.~{Mac Lane}},
 year         = {1950},
 title        = {Duality for groups},
 journal      = {Bull. Amer. Math. Soc.},
 volume       = {56},
 pages        = {485--516},
 doi          = {10.1090/S0002-9904-1950-09427-0},
)
@article(murray36,
 author       = {F.~J. Murray and J.~v. Neumann},
 year         = {1936},
 title        = {On rings of operators},
 journal      = {Annals of Mathematics},
 pages        = {116--229},
 doi          = {10.2307/1968693},
)
@book(NielsenC10,
 author       = {M.~A. Nielsen and I.~L. Chuang},
 year         = {2010},
 title        = {Quantum computation and quantum information},
 publisher    = {Cambridge university press},
 doi          = {10.1017/CBO9780511976667},
)
@article(DiNolaL14,
 author       = {A.~D. Nola and I.~Leu\c{s}tean},
 year         = {2014},
 title        = {{{\L}ukasiewicz} logic and {Riesz} spaces},
 journal      = {Soft Computing},
 volume       = {18},
 number       = {12},
 pages        = {2349--2363},
 doi          = {10.1007/s00500-014-1348-z},
)
@book(paulsen2002,
 author       = {V.~Paulsen},
 year         = {2002},
 title        = {Completely bounded maps and operator algebras},
 volume       = {78},
 publisher    = {Cambridge University Press},
)
@book(sakai71,
 author       = {S.~Sakai},
 year         = {1971},
 title        = {C*-algebras and W*-algebras},
 volume       = {60},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-642-61993-9},
)
@unpublished(Weighill14,
 author       = {T.~Weighill},
 year         = {2014},
 title        = {Bifibrational duality in non-abelian algebra and the theory of databases},
 note         = {MSc Thesis},
)
@unpublished(WesterbaanW15,
 author       = {B.~Westerbaan and A.~Westerbaan},
 year         = {2015},
 title        = {A universal property of sequential measurement},
 note         = {Preprint is available at \url{http://westerbaan.name/~bas/math/univ-prop-seq-prod.pdf}},
)
@article(yosida41,
 author       = {K.~Yosida},
 year         = {1941},
 title        = {On vector lattice with a unit},
 journal      = {Proceedings of the Imperial Academy},
 volume       = {17},
 number       = {5},
 pages        = {121--124},
 doi          = {10.3792/pia/1195578821},
)