Inductive Definitions
Languages,
Grammars,
Parsing
