TY  - BOOK
AU  - Kastens
TI  - Generating Software From Specifications
PB  - Nbt
KW  - Computer Science
ER  -