Additional Key Words and Phrases: translators, compilers, functions
Selected references J. Sklansky, M. Finkelstein, and E. C. Russell. A formalism for program translation. Journal of the ACM, 15(2):165-175, April 1968.