Control predicates are better than dummy variables for reasoning about program control (1987)

by L Lamport
Venue:ACM Transactions on Programming Languages and Systems