TY  - BOOK
AU  - Carreira
TI  - Semântica para sistemas de produção
PY  - 1997///
CY  - Lisboa
PB  - C. A. T. C. 
KW  - Engenharia informática
KW  - Teses
KW  - QA76
ER  -