Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling.

Zinovy Diskin Boris Kadish Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling. 1-59 2003 47 Data Knowl. Eng. 1 http://dx.doi.org/10.1016/S0169-023X(03)00047-8 db/journals/dke/dke47.html#DiskinK03