TY  - BOOK
AU  - Furtado Antonio L
AU  -  Neuhold Erich J
TI  - Formal techniques for database design
U1  - D65,8(B)92, M6 
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlag         
KW  - Computer science
ER  -