Analysis of structured programs (1974)

by S Rao Kosaraju
Venue:Journal of Computer and System Sciences