裘老师退休后整理办公室书籍，把一些软件工程相关的书送给我，总共14本。其中绿色封皮的是:Using Z: Specification, Refinemeng and Proof, 作者是Jim Woodcock。最右边“数学巡礼”是裘老师的父亲翻译的一本数学科普书，送给我的女儿。另外，有两本是裘老师自己翻译的书。有两本面向模式的软件体系结构书，正好可以作为研究生软件体系结构的参考书。非常感谢裘老师！
