Furtado, Antonio L. and Neuhold, Erich J. <br/><br/>
Formal techniques for data base design 

 - New York  ; Spinger-Verlag  , 1986 
 - viii,114p. 
<br/><br/><label>ISBN: </label>3540156011  88 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Database<br/>Database System
<br/><br/><label>Dewey Class. No.: </label>005.74  / FUR