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