机译：逻辑编程语言的约束，功能和对象APT，J.W。 de Bakker和J.J.M.M.鲁滕（Rutten）编辑（麻省理工学院出版社，马萨诸塞州剑桥，1993）204页
机译：关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译：Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译：书评：汤米·本格森（Tommy Bengtsson），卡梅隆·坎贝尔（Cameron Campbell）和詹姆斯·李·李（James Z. Lee）等。 （主编），《压力下的生活》。欧洲和亚洲的死亡率和生活水准，1700年至1900年，马萨诸塞州剑桥：麻省理工学院出版社，2004年，xiv + 531页。
机译：具有约束的高阶逻辑编程语言：一种语义
机译：使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译：布鲁姆菲尔德，威廉工艺。俄罗斯建筑史。剑桥大学和纽约：剑桥大学出版社，1993。pp.X，644。80色平面，677半色调，地图，索引，参考书目。 95.00美元（布）Dimitriou，Harry T.城市交通规划：发展模式。伦敦和纽约：Routledge，1992年。表格，数字，索引，参考书目。 $ 115.50（布）spann，Edward K. Hopedale：从公社到公司镇，1840-1920。哥伦布：俄亥俄州立大学出版社，1992年。（城市生活和城市景观系列，Z。L. miller和H. D. shapiro，编辑。）pp.Xiii，213。地图，索引，参考书目。 37.5美元（布）麦克布赖德，大卫。从结核病到艾滋病：自1900年以来城市黑人的流行病。奥尔巴尼：纽约州立大学出版社，1991年。（纽约州立大学非洲研究系列，J。霍华德和RC史密斯编辑）.pp.X，234。表，数字，指数。 16.95美元（平装）Rich，John和andrew Wallace-Hadrill编辑。古代世界的城市与乡村。 （莱斯特 - 诺丁汉古代社会研究，第2卷）伦敦和纽约：Routledge，1991。pp.Xviii，305。地图，表格，图表，表格，索引，参考书目。 $ 23.95（论文）Rich，John，ed。古代的城市。 （莱斯特 - 诺丁汉古代社会研究，第3卷）伦敦和纽约：Routledge，1992年。第X，204页。地图，表格，图表，表格，索引，参考书目。 $ 65.00（布）
