Formal Techniques for Data Base Design Autor: Furtado, A.L. Editora: Springer-Verlag Ano de Publicação : 1986