On: A Modern Compiler for the French Tax Code

[semi-extrinsic]

This is the one!

If memory serves, they updated the program for each year (I guess only numerical constants and small rule changes), but they probably didn't update the source in the documentation.