TY  - BOOK
AU  - Alencar,Paulo S.C.de
AU  - Lucena,Carlos J.P.de
TI  - Métodos formais para o desenvolvimento de programas
PY  - 1989///
CY  - Buenos Aires
PB  - Kapelusz
ER  -