Mechthild Rohen

• Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen