Formal Techniques for Data Base Design by Antonio L. Furtado & Erich J. Neuhold