TY  - BOOK
AU  - Bertot;Yves
TI  - From Semantics to computer science
SN  - 0-470-95278-8
U1  - 004.1675 
PY  - 2012///
CY  - Canada
PB  - Wiley
KW  - Computer
ER  -