@article(prakash,
 author       = {B{\u{a}}descu, Costin and Prakash Panangaden},
 year         = {2015},
 title        = {Quantum Alternation: Prospects and Problems},
 journal      = {\href{https://arxiv.org/abs/1511.01567}{arXiv preprint arXiv:1511.01567}},
)
@article(chiribella,
 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},
 eid          = {012311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(cho,
 author       = {Kenta Cho},
 year         = {2016},
 title        = {Semantics for a Quantum Programming Language by Operator Algebras},
 journal      = {New Generation Computing},
 volume       = {34},
 number       = {1-2},
 pages        = {25--68},
 doi          = {10.1007/s00354-016-0204-3},
)
@article(effectus,
 author       = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Abraham Westerbaan},
 year         = {2015},
 title        = {An introduction to effectus theory},
 journal      = {\href{https://arxiv.org/abs/1512.05813}{arXiv preprint arXiv:1512.05813}},
)
@article(aaw64,
 author       = {Man-Duen Choi},
 year         = {1974},
 title        = {{A Schwarz Inequality for Positive Linear Maps on $C^*$-algebras}},
 journal      = {Illinois Journal of Mathematics},
 volume       = {18},
 number       = {4},
 pages        = {565--574},
)
@book(kr,
 author       = {Richard V Kadison and John R Ringrose},
 year         = {1997},
 title        = {Fundamentals of the Theory of Operator Algebras},
 publisher    = {American Mathematical Society},
)
@article(kasparov,
 author       = {GG Kasparov},
 year         = {1980},
 title        = {Hilbert C*-modules: theorems of Stinespring and Voiculescu},
 journal      = {J. Operator theory},
 volume       = {4},
 number       = {1},
 pages        = {133--150},
)
@article(werner2,
 author       = {Dennis Kretschmann and Dirk Schlingemann and Reinhard F Werner},
 year         = {2008},
 title        = {The information-disturbance tradeoff and the continuity of Stinespring's representation},
 journal      = {Information Theory, IEEE Transactions on},
 volume       = {54},
 number       = {4},
 pages        = {1708--1717},
 doi          = {10.1109/TIT.2008.917696},
)
@book(lance:hilbert,
 author       = {E. Christopher Lance},
 year         = {1995},
 title        = {Hilbert {$C^*$}-modules},
 series       = {London Mathematical Society Lecture Note Series},
 volume       = {210},
 publisher    = {Cambridge University Press, Cambridge},
 doi          = {10.1017/CBO9780511526206},
 note         = {A toolkit for operator algebraists},
)
@article(lindblad,
 author       = {G{\"o}ran Lindblad},
 year         = {1975},
 title        = {Completely positive maps and entropy inequalities},
 journal      = {Communications in Mathematical Physics},
 volume       = {40},
 number       = {2},
 pages        = {147--151},
 doi          = {10.1007/BF01609396},
)
@article(bew154,
 author       = {William L Paschke},
 year         = {1973},
 title        = {{Inner product modules over $B^*$-algebras}},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {182},
 pages        = {443--468},
 doi          = {10.1090/S0002-9947-1973-0355613-0},
)
@book(paulsen,
 author       = {Vern Paulsen},
 year         = {2002},
 title        = {Completely bounded maps and operator algebras},
 series       = {Cambridge Studies in Advanced Mathematics},
 volume       = {78},
 publisher    = {Cambridge University Press, Cambridge},
)
@book(sakai,
 author       = {Sh{\^o}ichir{\^o} Sakai},
 year         = {2012},
 title        = {C*-algebras and W*-algebras},
 publisher    = {Springer Science \& Business Media},
)
@article(selinger,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@inproceedings(skeide1,
 author       = {Michael Skeide},
 year         = {2000},
 title        = {Generalised matrix C*-algebras and representations of Hilbert modules},
 booktitle    = {MATHEMATICAL PROCEEDINGS-ROYAL IRISH ACADEMY},
 volume       = {100},
 pages        = {11--38},
)
@inproceedings(staton,
 author       = {Sam Staton},
 year         = {2015},
 title        = {Algebraic effects, linearity, and quantum programming languages},
 booktitle    = {ACM SIGPLAN Notices},
 volume       = {50},
 organization = {ACM},
 pages        = {395--406},
 doi          = {10.1145/2775051.2676999},
)
@article(stinespring,
 author       = {W Forrest Stinespring},
 year         = {1955},
 title        = {Positive functions on C*-algebras},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {6},
 number       = {2},
 pages        = {211--216},
 doi          = {10.2307/2032342},
)
@book(stormer,
 author       = {St{\o}rmer, Erling},
 year         = {2012},
 title        = {Positive linear maps of operator algebras},
 publisher    = {Springer Science \& Business Media},
)
@book(topping,
 author       = {D. Topping},
 year         = {1971},
 title        = {Lectures on von {Neumann} algebras},
 publisher    = {Van Nostrand Reinhold},
)
@article(werner,
 author       = {Reinhard F Werner},
 year         = {1998},
 title        = {Optimal cloning of pure states},
 journal      = {Physical Review A},
 volume       = {58},
 number       = {3},
 pages        = {1827},
 doi          = {10.1103/PhysRevA.58.1827},
)
@misc(stineinj,
 author       = {Abraham Westerbaan and Bas Westerbaan (http://math.stackexchange.com/users/303388/westerbaan)},
 title        = {When does Stinespring dilation yield a faithful representation?},
 howpublished = {Mathematics Stack Exchange},
 url          = {http://math.stackexchange.com/q/1701574},
)
@article(ww16,
 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},
)