1. Financial Conduct Authority (2018): Algorithmic Trading Compliance in Wholesale Markets. Available at
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Matthew Freedman (2015): Rise in SEC Dark Pool Fines. Review of Banking and Financial Law 35(1), pp. 150–162.
  7. Robert Harper, Furio Honsell & Gordon Plotkin (1993): A Framework for Defining Logics. J. ACM 40(1), pp. 143–184, doi:10.1145/138027.138060.
  8. 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.
  9. Phil Mackintosh (2014): Demystifying Order Types. Available at
  10. 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.
  11. 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.
  12. 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.
  13. Robert J. Simmons (2012): Substructural Logical Specifications. Carnegie Mellon University. AAI3534965.
  14. 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.

Comments and questions to:
For website issues: