TY  - BOOK
AU  - 32
TI  - FORMALE METHODEN ZUR SPEZIFIERUNG AUTOMATISCHYER PARALLELISIERUNG
ER  -