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