Éste es el código fuente en Ada para calcular la letra del NIF.