Push-Down Automata and Context-Free Grammars
Lecture notes defining context free grammars and closure and decidability properties of context free languages. There is a short section showing that natural languages are not context free.