by Ernest G. Manes, Michael A. Arbib
Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.