programme correctness proof - Alemán Inglés Diccionario