请读者参考Ken Thompson和Dennis Ritchie的QED备忘手册http://cm.bell-labs.com/cm/cs/who/dmr/qedman.pdf。
本文档使用 Sou.st 构建