Entity, Relationship-Datenmodellierung in axiomatischen SpezifikationssprachenRudolf HettlerVyprodánoPohlídat