一本书是作者和读者之间的对话,一种超越时间和空间的对话。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The best illustrations are those that leave room for the reader's imagination.