Statecharts were developed by Harel et al [10] to specify complex reactive systems.
In this paper we report on our application of statecharts as a design and specification
tool for an X-Windows based Graphical User ...
Most statically typed Algol-style languages were designed to conform with the view that a value belongs to one and only one type. The adoption of this view bought compiler simplicity at the expense of language expressivity. ...