Algebraic Specification Schemes for Data Base Systems.

Hartmut Ehrig, Hans-Jrg Kreowski, Herbert Weber

Browse the full VLDB paper archive.