系统设计的未来在于将形式化方法与传统工程实践相结合。

上帝很少揭示未来。当他这样做时，只有一个原因：这是一个注定要被改变的未来。

Every film is a journey, not just for the characters, but for the audience as well.

我不认为自己是一个对答案感兴趣的作家。我对问题感兴趣。

我认为，一个人在青年时期得到如此训练，使身体随时听命于意志，便是受过博雅教育。