系统设计的未来在于将形式化方法与传统工程实践相结合。
复杂很容易,简单却很难。
爱不应该带来伤害。
The only real music is the music of the heart.
每一本书都是通往另一个世界的门。
Every individual has a place to fill in the world and is important in some respect whether he chooses to be so or not.