A Formalism for Program Translation. - Jack Sklansky; M. Finkelstein (J. ACM, 1968)