Ask HN: starter books for learning about grammars, parsers and compilers?

I'd like to get a solid footing in the concepts and formalisms that underlie libraries such as instaparse[1], PEG.js[2] and the SSA approach taken in Clojure's core.async library[3].

Working with those libraries, reading source code, and referencing Wikipedia is a great way to learn, but I'd like to take in some worthwhile books, lecture series, etc. as well. While I'm not opposed to "pure theory" treatments, my preference would be for resources that provide a good mix of theory and concrete examples.

What recommendations do other HN readers have in this regard?

[1] https://github.com/Engelberg/instaparse

[2] https://github.com/dmajda/pegjs

[3] https://github.com/clojure/core.async/blob/master/src/main/clojure/clojure/core/async/impl/ioc_macros.clj