TY  - BOOK
AU  - Teixeira Mendes,Sueli Bandeira
AU  - Aguiar,Teresa Cristina de
TI  - Métodos para especificaçao de sistemas
PY  - 1988///
CY  - Campinas
PB  - Escola Brasileiro-Argentina de Informatica
KW  - Informatica
KW  - Sistemas
KW  - Especificaciones
KW  - Semiformales
KW  - Algebraica
KW  - Modelos
ER  -