Entity, Relationship-Datenmodellierung in axiomatischen SpezifikationssprachenRudolf HettlerSold out4.3Track