Syntax-Directed Semantics Formal Models Based on Tree Transducers Fülöp, Zoltan Heftet / 2011 / Engelsk