TY  - BOOK
AU  - Partsch, Helmut A
TI  - Specification and transformation of programs: a formal approah to software development
T2  - Texts and monographs in computer science
SN  - 0387525890
U1  - 005.1 
PY  - 1990///
CY  - Berlin
PB  - S-V
ER  -