TY  - BOOK
AU  - Staunstrup, J. Ed.
TI  - Program Specification: Proceedings, Workshop, Denmark, 1981
SN  - 3540114904
CY  - Berlin
KW  - Program Specification
ER  -