TY  - BOOK
AU  - Furtado,Antonio Luz
TI  - Formal techniques for database design
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlad
KW  - Database management
KW  - System design
N1  - Includes references and subject index
ER  -