\input{RegLangs.tex}+− \input{Spec.tex}+− \input{Lexer.tex}+− \input{Simplifying.tex}+− \input{Sulzmann.tex}+− \input{Positions.tex}+− \input{SizeBound.tex}+− \input{Paper.tex}+−