Formale Methoden zur Spezifizierung automatischer Parallelisierung - Brandes, Thomas (Dr. Alfred Hüthig Verlag, 1988)