Title: Specification and interpretation of data model semantics
Subjects: Programming languages (Electronic computers), Semantics