Entity, Relationship-Datenmodellierung in axiomatischen SpezifikationssprachenRudolf HettlerUitverkochtHou mij op de hoogte