Formal techniques for database design - Furtado Antonio L; Neuhold Erich J (Berlin Springer-Verlag, 1986)
Keywords: Computer science