Arbib, M.A. and Manes, E.G. 1978. Tree transformations and the semantics of loop-free programs. Acta Cybernetica. 4, 1 (Jan. 1978), 11-17.