A language that is used in expressing a specification. It has a formally defined syntax and semantics, and its design is based on a mathematical method for modelling or defining systems (e.g. set theory, equations and initial algebras, predicate logic). Examples include SADT, RSL, VDM, OBJ, and Z.