Text this: Formale Methoden zur Spezifizierung automatischer Parallelisierung /