The full documentation is found in "sum.ps".
A shorter version (without the last appendix, which is not necessary for
basic understanding) is found in "shortsum.ps".