Covers the topic of templates in software engineering. This book discusses the theoretical background of templates. It shows that the metalanguage can be limited to the power of a tree-to-string transducer. It discusses an approach where the template evaluator explicitly guarantees syntactical correctness of the output.