TY  - BOOK
AU  - Volkmer de Castilho,José Mauro
TI  - Especificacoes formais e sistemas de bancos de datos
PY  - 1987///
CY  - Buenos Aires : 
PB  - Kapelusz S.A, 
KW  - Ciencia y tecnología de ordenadores.Informática
ER  -