TY  - BOOK
AU  - KASTENS, UWE
TI  - GENERATING SOFTWARE FROM SPECIFICATIONS
PB  - VIA
ER  -