TY  - BOOK
AU  - Habrias, Henri (ed) & Frappier, Marc (ed)
TI  - Software specification methods
SN  - 1-905209-34-7
U1  - 004.0151 Hab/Fra 
PY  - 2007///
CY  - ISTE Ltd, London
ER  -