algebraic specification - Spanisch Englisch Wörterbuch