C. Coglianese and L. Ben-dor, AI in adjudication and administration: A status report on governmental use of algorithmic tools in the United States. U of Penn Law School, Public Law Research Paper, pp.19-41, 2019.

J. B. Ruhl and D. M. Katz, Measuring, monitoring, and managing legal complexity, Iowa L. Rev, vol.101, p.191, 2015.

B. Sarah and . Lawsky, Form as formalization. Ohio State Technology Law Journal, 2020.

B. Victor, Revisiting legacy systems and legacy modernization from the industrial perspective, Master's thesis, 2013.

D. A. Waterman, J. Paul, and M. Peterson, Expert systems for legal decision making, Expert Systems, vol.3, issue.4, pp.212-226, 1986.

M. Z. Bell, Why expert systems fail, Journal of the Operational Research Society, vol.36, issue.7, pp.613-619, 1985.

C. E. Brown and D. Murphy, The use of auditing expert systems in public accounting, Journal of Information Systems, vol.01, pp.63-72, 1990.

D. Merigoux, R. Monat, and C. Gaie, Étude formelle de l'implémentation du code des impôts, 31ème Journées Francophones des Langages Applicatifs, 2020.

A. Whitmore, E. Rich, and . Mark-r-nelson, Building on shifting sands: The structure of repetitive it project escalation, crisis, and de-escalation, Proceedings of the 26th International Conference of the System Dynamics Society, 2008.

P. Leith, The rise and fall of the legal expert system, International Review of Law, vol.30, issue.3, pp.94-106, 2016.

A. Sivagnana-ganesan and T. Chithralekha, A survey on survey of migration of legacy systems, Proceedings of the International Conference on Informatics and Analytics, ICIA-16, 2016.

C. Gaie, From secured legacy systems to interoperable services (the careful evolution of the french tax administration to provide new possibilities while ensuring the primary tax recovering objective), 2020.

S. Cottin, Computer-assisted law-making-process: Information technologies and legal certainty -French experiments, International Conference, The State and the Legal System -Institutional Contemporary Transformations, 2006.

A. Phillip, C. J. Laplante, and . Neill, The demise of the waterfall model is imminent, Queue, vol.1, issue.10, pp.10-15, 2004.

S. B. Lawsky, Formalizing the Code, Tax Law Review, vol.70, issue.377, 2017.

W. Edsger and . Dijkstra, The humble programmer, Communications of the ACM, vol.15, issue.10, pp.859-866, 1972.

M. Alyssa and . Carlson, The need for transparency in the age of predictive sentencing algorithms, Iowa L. Rev, vol.103, p.303, 2017.

S. Wachter, B. Mittelstadt, and C. Russell, Counterfactual explanations without opening the black box: Automated decisions and the GDPR, Harv. JL & Tech, vol.31, p.841, 2017.

S. Wachter, B. Mittelstadt, and L. Floridi, Why a right to explanation of automated decision-making does not exist in the general data protection regulation, International Data Privacy Law, vol.7, issue.2, pp.76-99, 2017.

E. Bayaml?oglu, Transparency of automated decisions in the GDPR: an attempt for systemisation. International Data Privacy Law, 2017.

B. Casey, A. Farhangi, and R. Vogl, ethinking explainable machines: The GDPR's "right to explanation" debate and the rise of algorithmic audits in enterprise, Berkeley Technology Law Journal, vol.34, 2019.

A. William and . Howard, The formulae-as-types notion of construction, To HB Curry: essays on combinatory logic, lambda calculus and formalism, vol.44, pp.479-490, 1980.

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, vol.2566, pp.85-108, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00528442

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-c, Software Engineering and Formal Methods, pp.233-247, 2012.
URL : https://hal.archives-ouvertes.fr/hal-02263407

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, Lustre: A declarative language for programming synchronous systems, 14th Symposium on Principles of Programming Languages (POPL'87), 1987.

X. Leroy, Formal certification of a compiler back-end or: Programming a compiler with a proof assistant, SIGPLAN Not, vol.41, issue.1, pp.42-54, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000963

J. Morris, Spreadsheets for legal reasoning: The continued promise of declarative logic programming in law. Available at SSRN 3577239, 2020.

D. E. Knuth, Literate Programming, The Computer Journal, vol.27, issue.2, pp.97-111, 1984.

K. Beck, M. Beedle, A. Van-bennekum, A. Cockburn, W. Cunningham et al., , 2001.

S. B. Lawsky, A Logic for Statutes, Florida Tax Review, 2018.

P. Catala, L. Mehl, and E. Bertrand, Constitution et exploitation informatique d'un ensemble documentaire en droit

A. K. Wright and M. Felleisen, A syntactic approach to type soundness. Information and Computation, vol.115, pp.38-94, 1994.

R. Reiter, A logic for default reasoning, Special Issue on Non-Monotonic Logic, vol.13, issue.1, pp.81-132, 1980.

G. Yang, M. Kifer, and C. Zhao, Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, pp.671-688, 2003.

A. Colmerauer and P. Roussel, The Birth of Prolog, pp.331-367, 1996.

N. Holzenberger, A. Blair-stanek, and B. Van-durme, A dataset for statutory reasoning in tax law entailment and question answering, 2020.