Formale Semantik eines erweiterten Entity-Relationship-Modells - Hohenstein, Uwe (TEUBNER-TEXTE zur Informatik, 1993)