TY  - BOOK
AU  - Demetrovics, Janos
AU  - Knuth, Elod
AU  - Rado, Peter
TI  - Computer-aided specification techniques
U1  - 004.21 DEM 
PY  - 1985///
CY  - Singapore
PB  - World Scientific
KW  - Computer- aided design
N1  - Includes bibliographical references
ER  -