Formal Specification of a Meta Hierarchical Logical Data Model Using Object Role Modeling. - Robert J. L. Schmaal; Herman Balsters; Serge Valera (OTM Workshops, 2011)