Syntax-directed semantics formal models based on tree transducers - Fulop, Zoltan (Springer, 1998)