TY  - BOOK
AU  - APPLIED
TI  - Applied Formal Methods FM-tRENDS 98
SN  - 03029743
U1  - 005.13 
CY  - New York
PB  - New York
ER  -