TY  - BOOK
AU  - Moller, Bernhard.
AU  - Partsch, Helmut.
AU  - Schuman, Steve.
TI  - Formal program development: IFIP TC2 / WG 2.1 state of the art report /ed. by Bernhard Moller, Helmut Partsch, Steve Schuman
T2  - Lecture Notes in Computer Science
SN  - 3540574999
U1  - 005.1 
PY  - 1993///
CY  - Berlin
PB  - S-V
ER  -