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

任何伟大公司的基础都是人 - 投资于他们，他们就会为你创造成功。

最好的书是改变你思维方式的书。

International cooperation should be based on mutual benefit and win-win results.

最好的歌曲来自痛苦。