LaTeX files copied from Brett Armstrong's thesis