LaTeX markup for "Theory of Computation: An Introduction".