loop-invariant computation - Alemán Inglés Diccionario