WEB: Knuthの文芸的プログラミングシステム
Weave: 文書をTeX文書に変換
目次、索引、参照などを自動生成
Tangle: 文書からPascalプログラムを抽出