Entity, Relationship-Datenmodellierung in axiomatischen SpezifikationssprachenRudolf HettlerÉpuiséPrévenez-moi