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