Furtado, Antonio L. and Neuhold, Erich J. Formal techniques for data base design - New York Spinger-verlag 1986 - viii,114p. ISBN: 3540156011 Subjects--Topical Terms: Computer databaseDatabase system Dewey Class. No.: 005.74 / FUR