TY  - BOOK
AU  - "Delahaye, Jean Paul"
TI  - Formal Methods In Artifi
SN  - 094653618X
U1  - 1 
CY  - London
ER  -