http://www.iteye.com/topic/1116298

this is a book by C. A. R, Tonny and He Jifeng about UTP.

Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of

you my jifeng a ma d

升级到3.7Eclipse最直观的反映就是，中文怎么那么小啊………… 相当不方便。 其实这是Eclipse的默认字体换了，以前的一直是Courier New，现在修改字体也找不到了，算了不找了。 这次eclipse用的字体是Consolas，这是一个很好的编程字体了，无奈就是中文默认太小了。 于是上网找了Consolas和微软雅黑混合字体，完美解决了中文字体小的问题，同时保持了Consolas字体的优雅，效果如下图： http://www.cnblogs.com/jifeng/archive/