A.2 Values
In this section, we describe the language's value expressions denoting
values, i.e., our objects of discourse. Each value expression has a
specific type such that any value it may denote must be an element of the
domain denoted by the type. Value expressions of type BOOLEAN are
sometimes called formulas; all other value expressions are also called
terms. However, since the specification language is higher-order, there
is no fundamental difference between formulas and terms.
Wolfgang
Schreiner