Il controllo automatizzato e formale sulle dichiarazioni fiscali