Title: Formale Beschreibung von Übersetzungs-Prozessen