@inproceedings(Abramsky2004,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {{A categorical semantics of quantum protocols}},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004},
 publisher    = {IEEE},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(Abramsky2012b,
 author       = {Samson Abramsky and Chris Heunen},
 year         = {2012},
 title        = {{H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics}},
 journal      = {Mathematical Foundations of Information Flow},
 volume       = {71},
 pages        = {1--24},
 doi          = {10.1090/psapm/071/599},
)
@article(Backens2014,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {{The ZX-calculus is complete for stabilizer quantum mechanics}},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {9},
 doi          = {10.1088/1367-2630/16/9/093021},
)
@article(Coecke2009p,
 author       = {Bob Coecke},
 year         = {2009},
 title        = {{Quantum Picturalism}},
 journal      = {Contemporary Physics},
 doi          = {10.1080/00107510903257624},
)
@article(Coecke2011,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {{Interacting quantum observables: Categorical algebra and diagrammatics}},
 journal      = {New Journal of Physics},
 volume       = {13},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@article(Coecke2014a,
 author       = {Bob Coecke and Chris Heunen and Aleks Kissinger},
 year         = {2014},
 title        = {{Categories of quantum and classical channels}},
 journal      = {Quantum Information Processing},
 pages        = {1--31},
 doi          = {10.1007/s11128-014-0837-4},
)
@book(Coecke2016a,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {{Picturing Quantum Processes}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@incollection(Coecke2008,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2007},
 title        = {{Quantum measurements without sums}},
 booktitle    = {Mathematics of Quantum Computation and Quantum Technology},
 pages        = {559--596},
 doi          = {10.1201/9781584889007.ch16},
)
@article(Coecke2013b,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {{A new description of orthogonal bases}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 number       = {03},
 doi          = {10.1017/S0960129512000047},
)
@article(Farrukh1975a,
 author       = {M. O. Farrukh},
 year         = {1975},
 title        = {{Application of nonstandard analysis to quantum mechanics}},
 journal      = {Journal of Mathematical Physics},
 volume       = {16},
 number       = {2},
 doi          = {10.1063/1.522525},
)
@article(Gogioso2016b,
 author       = {Stefano Gogioso and Fabrizio Genovese},
 year         = {2016},
 title        = {{Infinite-dimensional Categorical Quantum Mechanics}},
 doi          = {10.4204/EPTCS.236.4},
)
@article(Gogioso2017b,
 author       = {Stefano Gogioso and Aleks Kissinger},
 year         = {2017},
 title        = {{Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem}},
)
@article(Gogioso2017c,
 author       = {Stefano Gogioso and William Zeng},
 year         = {2017},
 title        = {{Generalised Mermin-type non-locality arguments}},
)
@article(Joyal1991,
 author       = {Andr{\'{e}} Joyal and Ross Street},
 year         = {1991},
 title        = {{The Geometry of Tensor Calculus I}},
 journal      = {Advances in Mathematics},
 volume       = {88},
 pages        = {55--112},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@article(Joyal1996,
 author       = {Andr{\'{e}} Joyal and Ross Street and Dominic Verity},
 year         = {1996},
 title        = {{Traced Monoidal Categories}},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 number       = {03},
 pages        = {447--468},
 doi          = {10.1017/S0305004100074338},
)
@article(Leibniz1684,
 author       = {Gottfried Wilhelm Leibniz},
 year         = {1684},
 title        = {{Nova methodus pro maximis et minimis itemque tangentibus, quae nec fractas nec irrationales quantitates moratur, et singulare pro illis calculi genus}},
 journal      = {Acta Eruditorum},
)
@article(VonNeumann1939,
 author       = {John von Neumann},
 year         = {1939},
 title        = {{On infinite direct products}},
 journal      = {Compositio Mathematica},
 volume       = {6},
)
@article(Neumann1949,
 author       = {John von Neumann},
 year         = {1949},
 title        = {{On Rings of Operators. Reduction Theory}},
 journal      = {The Annals of Mathematics},
 volume       = {50},
 number       = {2},
 pages        = {401--486},
 doi          = {10.2307/1969463},
)
@article(Ojima1993a,
 author       = {Izumi Ojima and Masanao Ozawa},
 year         = {1993},
 title        = {{Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics}},
 journal      = {Open Systems {\&} Information Dynamics},
 volume       = {2},
 number       = {1},
 pages        = {107--128},
 doi          = {10.1007/BF02228975},
)
@incollection(Ozawa1989,
 author       = {Masanao Ozawa},
 year         = {1989},
 title        = {{Realization of Measurement and the Standard Quantum Limit}},
 editor       = {P. Tombesi and R. Pike},
 booktitle    = {Squeezed and Nonclassical Light},
 pages        = {263--286},
 doi          = {10.1007/978-1-4757-6574-8{\_}20},
)
@article(Ozawa1997,
 author       = {Masanao Ozawa},
 year         = {1997},
 title        = {{Phase Operator Problem and Macroscopic Extension of Quantum Mechanics}},
 journal      = {Annals of Physics},
 volume       = {257},
 number       = {1},
 pages        = {65--83},
 doi          = {10.1006/aphy.1997.5685},
)
@article(Raab2006,
 author       = {Andreas Raab},
 year         = {2006},
 title        = {{An approach to nonstandard quantum mechanics}},
 doi          = {10.1063/1.1812358},
)
@book(Robinson1974,
 author       = {Abraham Robinson},
 year         = {1974},
 title        = {{Non-standard analysis}},
 publisher    = {Princeton University Press},
 doi          = {10.1515/9781400884223},
)
@article(Selinger2009,
 author       = {Peter Selinger},
 year         = {2009},
 title        = {{A survey of graphical languages for monoidal categories}},
 journal      = {Lecture Notes in Physics},
 volume       = {813},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9{\_}4},
)
@article(Verdon2016,
 author       = {Dominic Verdon and Jamie Vicary},
 year         = {2017},
 title        = {{Tight Reference Frame--Independent Quantum Teleportation}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 pages        = {202--214},
 doi          = {10.4204/EPTCS.236.13},
)
@article(Yamashita2000,
 author       = {Hideyasu Yamashita and Masanao Ozawa},
 year         = {2000},
 title        = {{Nonstandard representations of the canonical commutation relations}},
 journal      = {Reviews in Mathematical Physics},
 volume       = {12},
 number       = {11},
 pages        = {1407--1427},
 doi          = {10.1142/S0129055X00000617},
)