pdflatex -quiet archCombinators
bibtex archCombinators
pdflatex -quiet archCombinators
pdflatex -quiet archCombinators
pause