Generating an Algebraic Specification from an ER-Model

Ernst-Erich Doberkat. Generating an Algebraic Specification from an ER-Model. International Journal of Software Engineering and Knowledge Engineering, 7(4):525-552, 1997. [doi]

Abstract

Abstract is missing.