M. A. Arbib and E. G. Manes. Tree transformations and the semantics of loop-free programs. Acta Cybernetica, 4(1):11-17, 1978. [ PDF ]
This document was translated from BibTEX by bibtex2html