Control predicates are better than dummy variables for reasing about program control - Lamport, Leslie 1941- (1986)