1
\input{RegLangs.tex}
2
\input{Spec.tex}
3
\input{Lexer.tex}
4
\input{Simplifying.tex}
5
\input{Sulzmann.tex}
6
\input{Positions.tex}
7
\input{SizeBound.tex}
8
\input{Paper.tex}