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