The language of languages by Matt Might: this clears me up on several syntactical aspect of the few types of grammars.
KLEE : Hmm. This is very interesting. Given a function, this tool can automatically generate all the test cases with proper coverage. I think this could improve the current testsuit of C-based Sphinx.