Formal Techniques for Data Base Design - FURTADO, Antonio L. and Erich J. Neuhold (Springer Verlag, 1986)