The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.

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

"The truth is rarely pure and never simple."

我们使用的材料应该讲述一个故事 - 它们来自哪里的故事以及与它们一起工作的人的故事。