"Persistence and determination are omnipotent."

时间和其他材料一样，是我不断使用的材料。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

如果你想走得快，独自前行；如果你想走得远，结伴同行。

Hard work beats talent when talent fails to work hard.

在我的一生中，我认识的智者......没有一个不是一直在读书的--没有，没有。你会惊讶于沃伦读了多少书--我读了多少书......他们认为我是一本伸出两条腿的书。