A note on the for statement (1972)

by C A R HOARE
Venue:BIT