TY  - BOOK
AU  - Staunstrup J
ED  - Workshop on Program Specification( 1981 : Aarhus )
ED  - Workshop on Program Specification
TI  - Program specification : proceedings
SN  - 3-540-11490-4
U1  - 5.3 
PY  - 1982///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer software
KW  - Programme specification
ER  -