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