TY  - BOOK
AU  - Alencar,Paulo S.C.de
AU  - Lucena,Carlos J.P.de
TI  - Métodos formales para o desenvolvimiento de programas
PY  - 1988///
CY  - Buenos Aires : 
PB  - Kapelusz S.A, 
KW  - Ciencia y tecnología de ordenadores.Informática
ER  -