3 works on record
Formal grammar
Formal Grammar Lecture Notes in Computer Science Theoretical Computer Sci
The Curry-Howard isomorphism