你的朋友"shenjun"（shenjun.pku@gmail.com）从抓虾网（http://www.zhuaxia.com/）给你推荐了一篇文章，内容如下：
IGI.Global.Design.Pattern.Formalization.Techniques.Mar.2007.eBook-BBL
书名：Design Pattern Formalization Techniques《设计模式形式化技术》
编者：Toufik Taibi
出版商：IGI Publishing
发行日期：2007年3月30日
语言：英语
ISBN：1599042193
这是一本介绍设计模式的书，通过对不同设计模式形式化技术的讲解，来满足设计者不同需求。
http://www.amazon.com/exec/obidos/tg/detail/-/1599042193/
