The truth is, every writer creates his own precursors.
创新不仅仅是创造新产品;而是重新思考我们如何做每件事。
We don’t have as many managers as we should, but we would rather have too few than too many.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"A leader's job is to help people see the future."