1. Compositional specification of commercial contracts;J Andersen;International Journal on Software Tools for Technology Transfer,2006
2. Domain-specific languages for enterprise systems;J Andersen;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,2014
3. An algebraic specification of a language for describing financial products;B Arnold;ICSE-17 Workshop on Formal Methods Application in Software Engineering,1995
4. Certified symbolic management of financial multiparty contracts;P Bahr;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming,2015