@inproceedings(AbramskyCoecke2004,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {{A categorical semantics of quantum protocols}},
 booktitle    = {{Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science}},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(AbramskyHeunen2012,
 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(CoeckeDuncan2011,
 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},
)
@book(PicturingQuantumProcesses,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {{Picturing Quantum Processes}},
 publisher    = {{Cambridge University Press}},
 doi          = {10.1017/9781316219317},
)
@article(CoeckePavlovicVicary2013,
 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},
)
@phdthesis(CategoricalQuantumDynamics,
 author       = {Stefano Gogioso},
 year         = {2017},
 title        = {{Categorical Quantum Dynamics}},
)
@article(GogiosoGenovese2016,
 author       = {Stefano Gogioso and Fabrizio Genovese},
 year         = {2017},
 title        = {{Infinite-dimensional Categorical Quantum Mechanics}},
 journal      = {EPTCS (QPL 2016)},
 volume       = {236},
 pages        = {51--69},
 doi          = {10.4204/EPTCS.236.4},
)
@article(GogiosoGenovese2017,
 author       = {Stefano Gogioso and Fabrizio Genovese},
 year         = {2018},
 title        = {{Towards Quantum Field Theory in Categorical Quantum Mechanics}},
 journal      = {EPTCS (QPL 2017)},
 volume       = {236},
 pages        = {349--366},
 doi          = {10.4204/EPTCS.266.22},
)
@article(HeunenReyes2017,
 author       = {Chris Heunen and Manuel L Reyes},
 year         = {2017},
 title        = {{Frobenius structures over Hilbert C*-modules}},
)
@article(vonNeumann1939,
 author       = {John von Neumann},
 year         = {1939},
 title        = {{On infinite direct products}},
 journal      = {Compositio Mathematica},
 volume       = {6},
)
@article(vonNeumann1949,
 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},
)
@book(PeskinSchroeder,
 author       = {M E Peskin and Dan V Schroeder},
 year         = {1995},
 title        = {{An Introduction to Quantum Field Theory}},
 publisher    = {CRC Press},
)
@book(Robinson1974,
 author       = {Abraham Robinson},
 year         = {1974},
 title        = {Non-standard analysis},
 publisher    = {Princeton University Press},
 doi          = {10.1515/9781400884223},
)
@unpublished(TongQFT,
 author       = {David Tong},
 year         = {2007},
 title        = {Quantum Field Theory},
 note         = {University of Cambridge Part III Mathematical Tripos},
)