Formal Specification of a Data Dictionary for an Extended ER Data Model. - Vojislav B. Misic; L. Dusan Velasevic; Branislav Lazarevic (Comput. J., 1992)