algebraic specification - Alemán Inglés Diccionario