Entity, Relationship-Datenmodellierung in axiomatischen SpezifikationssprachenRudolf HettlerAgotado4,3Notifícame