Patrick Bahr, Jost Berthold & Martin Elsman (2015):
Certified Symbolic Management of Financial Multi-party Contracts.
In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming,
ICFP 2015.
ACM,
pp. 315–327,
doi:10.1145/2784731.2784747.
Jan De Bel (1993):
Automated Trading Systems and the Concept of an Exchange in an International Context Proprietary Systems: A Regulatory Headache.
U. Pa. J. Int'l Bus. L 14(2),
pp. 169–211.
Iliano Cervesato & Jorge Luis Sacchini (2013):
Towards Meta-Reasoning in the Concurrent Logical Framework CLF.
Electronic Proceedings in Theoretical Computer Science 120,
pp. 2–16,
doi:10.4204/eptcs.120.2.
Iliano Cervesato, Kevin Watkins, Frank Pfenning & David Walker (2003):
A Concurrent Logical Framework I: Judgments and Properties.
Technical Report CMU-CS-02-101.
Carnegie Mellon University.
Matthew Freedman (2015):
Rise in SEC Dark Pool Fines.
Review of Banking and Financial Law 35(1),
pp. 150–162.
Robert Harper, Furio Honsell & Gordon Plotkin (1993):
A Framework for Defining Logics.
J. ACM 40(1),
pp. 143–184,
doi:10.1145/138027.138060.
Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark D. Aagaard & Thomas F. Melham (2001):
Practical Formal Verification in Microprocessor Design.
IEEE Des. Test 18(4),
pp. 16–25,
doi:10.1109/54.936245.
Grant Olney Passmore & Denis Ignatovich (2017):
Formal Verification of Financial Algorithms.
In: Leonardo de Moura: Automated Deduction – CADE 26.
Springer International Publishing,
pp. 26–41,
doi:10.1007/978-3-319-63046-5_3.
Dirk Pattinson & Carsten Schürmann (2015):
Vote Counting as Mathematical Proof.
In: Bernhard Pfahringer & Jochen Renz: AI 2015: Advances in Artificial Intelligence.
Springer International Publishing,
pp. 464–475,
doi:10.1007/978-3-319-26350-2_41.
Simon Peyton Jones, Jean-Marc Eber & Julian Seward (2000):
Composing Contracts: An Adventure in Financial Engineering (Functional Pearl).
In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming,
ICFP '00.
ACM,
pp. 280–292,
doi:10.1145/351240.351267.
Robert J. Simmons (2012):
Substructural Logical Specifications.
Carnegie Mellon University.
AAI3534965.
Jean Souyris, Virginie Wiels, David Delmas & Hervé Delseny (2009):
Formal Verification of Avionics Software Products.
In: Ana Cavalcanti & Dennis R. Dams: FM 2009: Formal Methods.
Springer Berlin Heidelberg,
pp. 532–546,
doi:10.1007/978-3-642-05089-3_34.