Grammars are a good start. Mix in parse-controlling predicates if that isn't powerful enough (C++).