The French tax office for example has created a programming language in which the legally binding tax code is defined.