On the capabilities of while, repeat, and exit statements. (1973)

by W Peterson, T Kasami, N Tokura
Venue:Communications of the ACM,