TY  - BOOK
AU  - Demetrovics, Jonos Etc
TI  - Computer aided-specification tchniques
T2  - Series in computer science vol.1
SN  - 9971978539
PY  - 1985///
CY  - Singapore
PB  - World Scientific Publishing Company
KW  - Computerscience
ER  -