Variable set semantics for generalized sketches: Why ER is more object-oriented than OO (1997)

by Z Diskin, B Kadish
Venue:In 38th Annual Symposium on Foundations of Computer Science