TY  - BOOK
AU  - Uwe Kastens
AU  - Willam M Waite
AU  - A.M.Sloane
TI  - Generating Software from Specifications
PY  - 2008///
CY  - 
PB  - Viva
ER  -