@article(abramsky2004categorical,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 journal      = {LiCS'04},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(abramsky2012hstaralgebras,
 author       = {Samson Abramsky and Chris Heunen},
 year         = {2012},
 title        = {H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics},
 journal      = {Proceedings of Symposia in Applied Mathematics},
 doi          = {10.1090/psapm/071/599},
)
@article(ambrose1945structure,
 author       = {Warren Ambrose},
 year         = {1945},
 title        = {Structure theorems for a special class of Banach algebras},
 journal      = {Transactions of the American Mathematical Society},
 doi          = {10.1090/S0002-9947-1945-0013235-8},
)
@article(coecke2011interacting,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@article(coecke2008classical,
 author       = {Bob Coecke and Eric Oliver Paquette and Dusko Pavlovic},
 year         = {2008},
 title        = {Classical and quantum structuralism},
 journal      = {Semantic techniques for quantum computation},
 doi          = {10.1017/CBO9781139193313.003},
)
@article(Farrukh1975application,
 author       = {M. O. Farrukh},
 year         = {1975},
 title        = {Application of nonstandard analysis to quantum mechanics},
 journal      = {Journal of Mathematical Physics},
 doi          = {10.1063/1.522525},
)
@article(gogioso2015categorical,
 author       = {Stefano Gogioso},
 year         = {2015},
 title        = {{Categorical semantics for Schr\"{o}dinger's equation}},
 journal      = {In QPL 2015, \href{https://arxiv.org/abs/1501.06489}{arXiv:1501.06489}},
)
@phdthesis(kissinger2012pictures,
 author       = {Aleks Kissinger},
 year         = {2012},
 title        = {Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing},
)
@article(ozawa1993unitary,
 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 and Information Dynamics},
 doi          = {10.1007/BF02228975},
)
@book(robinson1974nonstandard,
 author       = {Abraham Robinson},
 year         = {1974},
 title        = {Non-standard analysis},
 publisher    = {Princeton University Press},
)