Help for DVI files
DVI files are device independent files of TeX, the typesetting system by D.E. Knuth.
A TeX software, currently available from many ftp sites, is needed to print a TeX file.
Problems may arise when authors use fonts not found in standard TeX installations.
When this happens, using the corresponding PS file instead of
the DVI file will be a solution.
DVI files in this collection were produced from the same TeX source files the book has been