Characterization of Flowchartable Recursions (1972)

by H R Strong, S A Walker
Venue:in Fourth Annual ACM Symposium on Theory of Computing