Task state transitions in Ada
Hermann Härtig, Andreas Pfitzmann, Leo Treff · ACM SIGAda Ada Letters · 1981
By stepwise refinement a state transition diagram for ADA-tasks is derived. Four steps of refinements are explained and then a complete list of state transitions is given containing reference s and short explanations.