Computers and Typesetting, Volume B: TeX: The Program

TeX: The Program is the complete source code listing and documentation for Donald Knuth's TeX typesetting system, implemented in the WEB programming language. The book presents over 1300 modules of extensively annotated code that define TeX's internal algorithms and processes. The documentation walks through TeX's core functionality including input parsing, mathematical typesetting, line breaking, page layout, and font handling. Each module contains detailed explanations of the algorithms, data structures, and design decisions that enable TeX to produce high-quality typeset documents. Knuth employs a "literate programming" approach where the code and documentation are interwoven, allowing readers to understand both the implementation details and the broader system architecture. The book includes comprehensive indices and cross-references to help navigate the codebase. This volume represents a landmark in software documentation and serves as a model for how complex programs can be clearly explained through careful organization and thorough annotation. The principles demonstrated continue to influence modern approaches to documenting and structuring large software systems.

Technical readers appreciate the complete documentation of TeX's internal algorithms and implementation details. Multiple reviewers note this book serves as both a reference manual and a case study in careful software documentation. Liked: - Line-by-line explanation of the source code - Detailed cross-referencing system - Clear documentation of complex algorithms - Learning value for programmers studying system design Disliked: - Too dense and academic for casual readers - Requires deep TeX knowledge to utilize - Not a practical manual for most TeX users - Pascal code examples feel dated Ratings: Goodreads: 4.5/5 (12 ratings) Amazon: 4.7/5 (6 reviews) One reader noted: "This is documentation elevated to an art form." Another commented: "Unless you're implementing a TeX engine or studying the internals, this level of detail is unnecessary." The book receives strong ratings from its niche technical audience but limited broader appeal.

The Implementation of Prolog by Warren D.H.D The source code and implementation details of the Prolog programming language provide technical depth comparable to Knuth's TeX implementation.

Programming Language Processors in Java by David A. Watt and Deryck F. Brown The book breaks down compiler construction through concrete implementation examples in a manner similar to Knuth's systematic explanation of TeX.

Architecture of Symbolic Computers by Peter M. Kogge The book presents low-level implementation details of programming language architectures with mathematical rigor matching Knuth's approach.

Advanced Compiler Design and Implementation by Steven S. Muchnick The detailed examination of compiler techniques mirrors the depth of analysis found in Knuth's TeX implementation documentation.

The Design and Implementation of the 4.3BSD UNIX Operating System by Samuel J. Leffler and Marshall Kirk McKusick The documentation of BSD UNIX's internal architecture provides system-level implementation details with precision comparable to Knuth's TeX documentation.

🔷 This volume contains the complete source code for TeX, written in a "literate programming" style that Knuth himself invented, where the code is presented as a detailed narrative rather than just raw programming. 🔷 The book is part of a five-volume set that took Knuth over 10 years to complete, with this particular volume containing over 600 pages of extensively documented code. 🔷 Every page of the book was typeset using the very system it describes, making it a self-referential work that proves its own capabilities. 🔷 The TeX source code has a bounty system for bugs - Knuth pays $2.56 (doubled from his original $1.28) for each error found, and the checks he writes have become collector's items worth far more than their face value. 🔷 The book's source code is written in WEB, a programming language also created by Knuth specifically for developing TeX, which combines Pascal code with documentation in a single file.