TY  - BOOK
AU  - Kastens,Uwe
TI  - Generating Software from Specifications
KW  - Computer software - Development
ER  -