我不追随潮流,我创造潮流。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
故事不在文字中;它在斗争中。
如果技术不能解决实际问题,它就毫无意义。
The real and effectual discipline which is exercised over a workman is that of his customers.