On The Equivalence and Transformation of Program Schemes
CACM October, 1958
Friedman, M. D.
