PCTpX allows typesetting of books, technical articles, documentation, arid correspondence on the personal computer. ... 5 DS/DD diskettes; and the PCTr^X manual by Michael Spivak complete the package. ... PCLaser drives laser printers by Corona. Apple, QMS, HP, and Imagen. ... A carefully selected collection of seminal and recent papers on knowledge representation for text and reference use.