TY  - BOOK
AU  - Nimal Nissanke
TI  - Formal Specification: Techniques And Applications
SN  - 1-85233-002-3
U1  - 004.415.52 
PY  - 1999///
CY  - 
PB  - Springer-Verlag
ER  -