TY  - BOOK
AU  - Demetrovics Janos
AU  - Knuth Elod
AU  - Rado Peter
TI  - Computer aided specification techniques
SN  - 9971-978-53-9
U1  - 005.14 
PY  - 1985///
CY  - Singapore
PB  - World Scientific
KW  - Computer science
ER  -