TY  - GEN
AU  - Alagar, V.S.
AU  - Periyasamy, K.
TI  - Specification of software systems
SN  - 0387984305
U1  - 005.1 
PY  - 1998///
CY  - New York
PB  - Springer
KW  - Programming
KW  - Software engineering
KW  - Computer science
ER  -