@misc(FCA2018,
 author       = {Financial Conduct Authority},
 year         = {2018},
 title        = {{Algorithmic Trading Compliance in Wholesale Markets}},
 url          = {https://www.fca.org.uk/publication/multi-firm-reviews/algorithmic-trading-compliance-wholesale-markets.pdf},
)
@inproceedings(BahrElsman2015,
 author       = {Patrick Bahr and Jost Berthold and Martin Elsman},
 year         = {2015},
 title        = {{Certified Symbolic Management of Financial Multi-party Contracts}},
 booktitle    = {Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP 2015},
 publisher    = {ACM},
 pages        = {315--327},
 doi          = {10.1145/2784731.2784747},
)
@article(DeBel93,
 author       = {Jan De Bel},
 year         = {1993},
 title        = {{Automated Trading Systems and the Concept of an Exchange in an International Context Proprietary Systems: A Regulatory Headache}},
 journal      = {U. Pa. J. Int'l Bus. L},
 volume       = {14},
 number       = {2},
 pages        = {169--211},
)
@article(CervesatoS13,
 author       = {Iliano Cervesato and Jorge Luis Sacchini},
 year         = {2013},
 title        = {{Towards Meta-Reasoning in the Concurrent Logical Framework CLF}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {120},
 pages        = {2–16},
 doi          = {10.4204/eptcs.120.2},
)
@techreport(clftechrep1,
 author       = {Iliano Cervesato and Kevin Watkins and Frank Pfenning and David Walker},
 year         = {2003},
 title        = {{A Concurrent Logical Framework I: Judgments and Properties}},
 type         = {Technical Report},
 number       = {CMU-CS-02-101},
 institution  = {Carnegie Mellon University},
)
@article(Freedman2015,
 author       = {Matthew Freedman},
 year         = {2015},
 title        = {{Rise in SEC Dark Pool Fines}},
 journal      = {Review of Banking and Financial Law},
 volume       = {35},
 number       = {1},
 pages        = {150--162},
)
@article(Harper93,
 author       = {Robert Harper and Furio Honsell and Gordon Plotkin},
 year         = {1993},
 title        = {{A Framework for Defining Logics}},
 journal      = {J. ACM},
 volume       = {40},
 number       = {1},
 pages        = {143--184},
 doi          = {10.1145/138027.138060},
)
@article(Jones2001,
 author       = {Robert B. Jones and John W. O'Leary and Carl-Johan H. Seger and Mark D. Aagaard and Thomas F. Melham},
 year         = {2001},
 title        = {{Practical Formal Verification in Microprocessor Design}},
 journal      = {IEEE Des. Test},
 volume       = {18},
 number       = {4},
 pages        = {16--25},
 doi          = {10.1109/54.936245},
)
@misc(Mackintosh2014,
 author       = {Phil Mackintosh},
 year         = {2014},
 title        = {{Demystifying Order Types}},
 url          = {http://www.smallake.kr/wp-content/uploads/2016/02/KCG_Demystifying-Order-Types_092414.pdf},
)
@inproceedings(PassmoreIgnatovich2017,
 author       = {Grant Olney Passmore and Denis Ignatovich},
 year         = {2017},
 title        = {{Formal Verification of Financial Algorithms}},
 editor       = {Leonardo de Moura},
 booktitle    = {Automated Deduction -- CADE 26},
 publisher    = {Springer International Publishing},
 pages        = {26--41},
 doi          = {10.1007/978-3-319-63046-5_3},
)
@inproceedings(Pattison15AJCAI,
 author       = {Dirk Pattinson and Carsten Sch{\"u}rmann},
 year         = {2015},
 title        = {{Vote Counting as Mathematical Proof}},
 editor       = {Bernhard Pfahringer and Jochen Renz},
 booktitle    = {AI 2015: Advances in Artificial Intelligence},
 publisher    = {Springer International Publishing},
 pages        = {464--475},
 doi          = {10.1007/978-3-319-26350-2_41},
)
@inproceedings(PeytonJones2000,
 author       = {Peyton Jones, Simon and Jean-Marc Eber and Julian Seward},
 year         = {2000},
 title        = {{Composing Contracts: An Adventure in Financial Engineering (Functional Pearl)}},
 booktitle    = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '00},
 publisher    = {ACM},
 pages        = {280--292},
 doi          = {10.1145/351240.351267},
)
@phdthesis(Simmons12,
 author       = {Robert J. Simmons},
 year         = {2012},
 title        = {{Substructural Logical Specifications}},
 school       = {Carnegie Mellon University},
 note         = {AAI3534965},
)
@inproceedings(Souyris2009,
 author       = {Jean Souyris and Virginie Wiels and David Delmas and Herv{\'e} Delseny},
 year         = {2009},
 title        = {{Formal Verification of Avionics Software Products}},
 editor       = {Ana Cavalcanti and Dennis R. Dams},
 booktitle    = {FM 2009: Formal Methods},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {532--546},
 doi          = {10.1007/978-3-642-05089-3_34},
)