operational semantics - Spanisch Englisch Wörterbuch