Funny enough, I found the dragon book way too applied and not theoretical enough. Perhaps it was just a different feeling about the same problem: the dragon book is just not very good anymore.

Something like Parsec seems like a good introduction into writing your own parsers. You can figure out formal grammars later.