TAG

A specification language for transformational attributed grammars. Thomas Pittman and James Peters, The Art of Compiler Design, Theory and Practice, Prentice-Hall.