(BIN) simons53.dvi
 (HTM) simons53.html
 (DOC) simons53.pdf
 (TXT) simons53.ps
 (TXT) simons53.tex