Errata exists for this version of the document.

sequence of states and valid state transitions along with the causes and effects of those state transitions that define the actions of a Program in terms of discrete stages