@article(ArbibM1980,
 author       = {Michael A. Arbib and Ernest G. Manes},
 year         = {1980},
 title        = {Partially additive categories and flow-diagram semantics},
 journal      = {Journal of Algebra},
 volume       = {62},
 number       = {1},
 pages        = {203--227},
 doi          = {10.1016/0021-8693(80)90212-4},
)
@inproceedings(Cho2014QPL,
 author       = {Kenta Cho},
 year         = {2014},
 title        = {Semantics for a Quantum Programming Language by Operator Algebras},
 booktitle    = {QPL 2014},
 series       = {EPTCS},
 volume       = {172},
 pages        = {165--190},
 doi          = {10.4204/EPTCS.172.12},
)
@inproceedings(ChoJWW2015QC,
 author       = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Bram Westerbaan},
 year         = {2015},
 title        = {Quotient--Comprehension Chains},
 booktitle    = {{QPL} 2015},
 note         = {To appear},
)
@inproceedings(JacobsCMCS2014,
 author       = {Bart Jacobs},
 year         = {2014},
 title        = {Dijkstra Monads in Monadic Computation},
 booktitle    = {CMCS 2014},
 series       = {LNCS},
 volume       = {8446},
 publisher    = {Springer},
 pages        = {135--150},
 doi          = {10.1007/978-3-662-44124-4_8},
)
@article(Jacobs2015NewDir,
 author       = {Bart Jacobs},
 year         = {2015},
 title        = {New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic},
 journal      = {{LMCS}},
 note         = {To appear. \hskip.11emplus.33emminus.07em{arXiv}:1205.3940v4 [math.LO]},
)
@article(JacobsM2012Coref,
 author       = {Bart Jacobs and Jorik Mandemaker},
 year         = {2012},
 title        = {Coreflections in Algebraic Quantum Logic},
 journal      = {Foundations of Physics},
 volume       = {42},
 number       = {7},
 pages        = {932--958},
 doi          = {10.1007/s10701-012-9654-8},
)
@inproceedings(JacobsWW2015,
 author       = {Bart Jacobs and Bas Westerbaan and Bram Westerbaan},
 year         = {2015},
 title        = {States of Convex Sets},
 booktitle    = {FoSSaCS 2015},
 series       = {LNCS},
 volume       = {9034},
 publisher    = {Springer},
 pages        = {87--101},
 doi          = {10.1007/978-3-662-46678-0_6},
)
@book(ManesA1986,
 author       = {Ernest G. Manes and Michael A. Arbib},
 year         = {1986},
 title        = {Algebraic Approaches to Program Semantics},
 series       = {Monographs in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-4962-7},
)
@article(Moggi1991,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of computation and monads},
 journal      = {Information and Computation},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@mastersthesis(Rennela2013Master,
 author       = {Mathys Rennela},
 year         = {2013},
 title        = {On operator algebras in quantum computation},
 school       = {Universit{\'e} Paris 7 Denis Diderot},
)
@inproceedings(Rennela2014,
 author       = {Mathys Rennela},
 year         = {2014},
 title        = {Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in {W}*-algebras},
 booktitle    = {{MFPS} {XXX}},
 series       = {ENTCS},
 volume       = {308},
 publisher    = {Elsevier},
 pages        = {289--307},
 doi          = {10.1016/j.entcs.2014.10.016},
)