在我看来，如果你或我必须在两种思想或行动之间做出选择，我们应该记住我们的死亡，并努力生活，使我们的死亡不会给世界带来快乐。
It seems to me that if you or I must choose between two courses of thought or action, we should remember our dying and try so to live that our death brings no pleasure to the world.
在这个行业里，如果你很优秀，十次中你会对六次。你永远不会十次中对九次。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
生命是一场梦，而梦，终究是梦。
每棵树都讲述一个故事；我们的职责是确保这是一个关于重生而非毁灭的故事。