Automata, computability, and complexity : theory and applications - Elaine Rich (Prentice Hall, 2009)
sgbn4.1/ws.c.1