TY  - BOOK
AU  - KASTENS AND ETC
ED  - NO
TI  - GENERATING SOFTWARE FROM SPECIFICATIONS
SN  - 813090974X
U1  - 005.1 KAS 
PY  - 2008///
PB  - VIVA
ER  -