TY  - BOOK
AU  - Demetrovics Janos
AU  -  Knuth Elod
AU  -  Rado Peter
TI  - Computer- aided specification techniques
T2  - Series in computer science
U1  - D65,8(B)92, M5 
PY  - 1985///
CY  - Singapore
PB  - World Scientific Pub       
KW  -  Computer program language
KW  - Computer science
ER  -