Formal techniques for data base design : with 35 figures - Furtado, Antonio L. (Springer-Verlag, 1986)