[1]
M. A. Arbib and E. G. Manes, “Tree transformations and the semantics of loop-free programs”, Acta Cybern, vol. 4, no. 1, pp. 11-17, Jan. 1978.