- Web Architecture: Information Representation
- Abstract
- Information Primitives
- octet: trait
- character: trait
- Simple Structures
- Relations, Tables, and Databases
- relational-table: trait
- relational-sort: trait
- relational-query: trait
- Regular Expressions and Finite State Machines
- finite-state-machine: trait
- regular-expression: trait
- re-util: trait
- Languages and Grammars
- grammar: trait
- Automated Parsing
- scanner: trait
- Message and Document Formats
- BodyPart: trait
- SGML: trait
- Turing Machines and Programs
- lambda: trait
- expression: trait
- Objects, Operations, Attributes, and Types
- Logic: Argument, Deduction, and Proof
- Logic: trait