Entity, Relationship-Datenmodellierung in axiomatischen SpezifikationssprachenRudolf HettlerAusverkauft4,3Bewachen