TY  - BOOK
AU  - Hogrefe, Dieter
AU  - Leue, Stefan
TI  - Formal description techniques VII
SN  - 9780412644504
U1  - 004.62 HOG 
PY  - 1995///
CY  - London
PB  - Chapman & Hall
KW  - formal description techniques
KW  - FORTE
KW  - IFIP
KW  - information processing
N1  - includes index
ER  -