TY  - BOOK
AU  - Alagar,V S  .
AU  - Nivat,Maurice  .
TI  - Algebraic methodology and software technology / 
U1  - 512.5 
PY  - 1995///
CY  - New York : 
PB  - Springer , 
KW  - Algebraic methodology
KW  - Software technology
ER  -