Arbib Michael Anthony; Manes Ernest Gene: Tree transformations and the semantics of loop-free programs. In: Acta cybernetica, (4) 1. pp. 11-17. (1978)