Books

From Practical Software Verification

Model checking, program analysis and decision procedures

Decision Procedures: An Algorithmic Point of View - Daniel Kroening, Ofer Strichman, 2008

Principles of Model Checking - Christel Baier and Joost-Pieter Katoen, 2008

Model Checking - Edmund M. Clarke, Orna Grumberg and Doron A. Peled, 2000

Secure Programming with Static Analysis - Brian Chess and Jacob West, 2007

Principles of Program Analysis - Flemming Nielson, 2005

Formal Language and Automata Theory (Compiled by Guerrill4)

Compilers: Principles, Techniques, and Tools (The Dragon Book) - a.k.a. "The Purple Dragon Book" - rather informal but obviously very practically useful

"Introduction to Automata Theory, Languages, and Computation" by Hopcroft, Botwana and Ullman - formal counterpart to above "Purple Dragon Book" - very wordy and long

"Theory of Automata, Formal Languages and Computation" by S.P. Eugene Xaviar - (mathematically) to the point, TONS of exercises to do by hand or on computer, starts with automata instead of languages (in opposition to most books I've found)

"Recursive Adaptable Grammars" by Shutt - AWESOME: "big book" Masters thesis reviewing most of what we know about formal languages, automata, their ups and downs, etc. Eventually introduces RAGs. - rather aesthetically pleasing definitions :)

Papers on Formal Languages: "Formal Grammars and Languages" by Jiang, Li, Ravikumar, Regan

Papers on Automata: "Pushdown Automata" by Hendrik Jan Hoogeboom and Joost Engelfriet

"Pushdown Automata" by Kreylos - organized lecture notes