TY  - BOOK
AU  - Hoffman, Berthold.
AU  - Krieg-Bruckner, Bernd.
TI  - Program development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,.
T2  - Lecture Notes in Computer Science
SN  - 354056733X
U1  - 005.1 
PY  - 1993///
CY  - Berlin
PB  - S-V
ER  -