TY  - BOOK
AU  - Hoffmann Berthold
AU  - Krieg-Bruckner Bernd eds
TI  - Program development by specification and transformation : the PROSPECTRA methodology,language family, and system
SN  - 3-540-56733-X
U1  - 005.14 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Programme development
ER  -