History for Unifying Theories of Programming

changed:
- Unifying Theories of Programming (UTP) [8] provides a single theoretical framework,
-based on an alphabetised relational calculus, that can be used for unification
-of many programming language paradigms. A theory in UTP is composed of
-an alphabet of names, a signature of language constructs, and a set of healthiness
-conditions. Programs, designs, and specifications are all interpreted as relations
-between an initial and an intermediate or final observation of behaviour. The
-following programming theories have all been modelled in the UTP: imperative,
-reactive, parallel, higher-order, and declarative [8, 17]; object oriented [4–6]; realtime
-[12]; and mobility [13, 14].
-