Automata Theory and Logic by Martin Lange Paperback Book What stands out about this handbook is the practical advice throughout.
