(TXT) abstr.asc
 (HTM) abstr.html
 (DIR) gifs
 (TXT) seman-tex
 (BIN) seman.dvi
 (DOC) seman.pdf
 (BIN) seman.ps.gz