Formal techniques for database design - Furtado, Antonio Luz (Berlin : Springer-Verlad, 1986)
Includes references and subject index.
Keywords: Database management; System design