TY  - GEN
AU  - Partsch, H
TI  - Beweisen Durch Programmtransformation
PY  - 1977///
CY  - Munchen
PB  - Universitat Munchen
N1  - Lucrarea este multigrafiata; Contine bibliografie
ER  -