TY  - BOOK
AU  - Staunstrup J Ed.
TI  - Workwhop on program specification
T2  - Lecture notes in computer science; 134
U1  - D65,8(B)92p1,N81, M2 
PY  - 1982///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Program specification
ER  -