programme correctness proof - Francés Inglés Diccionario