An Introduction to Formal Languages and Automata, (section 2.4). Jones and Bartlett Publishers. A link to the on-line edition can be found on the course web (0)

by P Linz