TY  - BOOK
AU  - TAHAR,SOFIENE HASAN OSMAN.
TI  - FORMALIZED THEORY AND APPLICATIONS
U1  - 004.029 
PY  - 2015///
CY  - NEW YORK
ER  -