系统设计的未来在于将形式化方法与传统工程实践相结合。
The best ore deposits are found where others stopped looking.
一个只能被儿童欣赏的儿童故事，根本就不是一个好的儿童故事。
购买股票的最佳时机是当它们不受欢迎时。
The most important property of a program is whether it accomplishes the intention of its user.
The greatest discovery of my generation is that a human being can alter his life by altering his attitudes.
You can’t live in the world without an idea of the world, but it’s impossible to live in the world with your idea of the world.