formal specification - Türkisch Englisch Wörterbuch