TY  - GEN
AU  - Alencar,Paulo S.C.de
AU  - Lucina,Carlos J.P.de
TI  - Metodos formais para desenvolvimento de programas
SN  - 950-13-9878-1
PY  - 1989///
CY  - Santiago Del Estero
PB  - Kapelusz
KW  - programacao
ER  -