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