Klaus-Harald Zang

• The formal specification of an abstract database: design and implementation