formal specification - Alemán Inglés Diccionario