Formal techniques for data base design - Furtado, Antonio L. and Neuhold, Erich J. (New York ; Spinger-Verlag, 1986)
Keywords: Computer Database; Database System