3.1.4 Program Control Method

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