TY  - SER
AU  - Partsch, Helmut
AU  - Steinbruggen, R.
TI  - Program Trans for mation Systems
KW  - Trans for mational Programming
KW  - Trans for mation
KW  - Verification
ER  -