Furtado, Antonio Luz <br/><br/>
Formal techniques for database design / 
Antonio L. Furtado, Erich J. Neuhold. 
 - Berlin :  Springer-Verlad,  c1986. 
 - viii, 114 p. : figs 
<br/><br/> Includes references and subject index. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Database management.<br/>System design.