Errata exists for this version of the document.

Method having specific semantics designed for the control of a Program by causing a state transition