M. Finkelstein

J. Sklansky, M. Finkelstein, and E. C. Russell. A formalism for program translation. Journal of the ACM, 15(2):165-175, April 1968. Citations.