Automata Theory and Logic by Martin Lange Paperback Book What stands out about this textbook is the highlighted key terms throughout.