truename.pdf     --  PDF
truename.ps      --  PS
truename.tar.gz  --  LaTeX source, DVI file, and images

tru_aftw.pdf     --  Afterword by Minsky, PDF
tru_aftw.ps      --  Afterword by Minsky, PS
tru_aftw.tar.gz  --  Afterword by Minsky, LaTeX source and DVI file