Control predicates are better than dummy variables for reasoning about program control
Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1988
When explicit control predicates rather than dummy variables are used, the Owicki-Gries method for proving safety properties of concurrent programs can be strengthened, making it easier to construct the required program annotations.