The corresponding readings are the chapters on Context Free Grammars and Push-Down Automata in theory books:
- Hopcroft, Motwani, Ullman Chapters 5-7
- Lewis and Papadimitriou Chapter 3
- Sipser Chapter 2 (??? working from memory, my Sipser took a walk...)
There may be some limited coverage in the Discrete Math text (Rosen), but it is likely not adequate for this course on this topic.