SECTION:  Computer Scienc.../ Theoretical programming/ Grammars and rewriting systems/