TY  - BOOK
AU  - Hoffmann, Berthold. Ed
AU  - Kreig-Bruckner, Bernd. Ed
TI  - Program development by specification and transformation : The PROSPECTRA methodology, language family, and system
SN  - 354056733X
CY  - Berlin
KW  - Prospectra Methodology
KW  - Language Family
KW  - System
KW  - LNCS 680
ER  -