(DIR) abs
 (BIN) dubner71.dvi
 (HTM) dubner71.html
 (DOC) dubner71.pdf
 (TXT) dubner71.ps
 (TXT) dubner71.tex