金正日B. 布鲁斯

与一个. 丹尼卢克和T. Murtagh, Java: Eventful方法 （普伦蒂斯·霍尔，2005）

面向对象语言基础：类型和语义 (M.I.T. 出版社,2002)

和S. Drysdale C. 克莱门和A. 塔克，“为什么是数学?" ACM通讯, 46(9), pp. 40-44, 2003

Andrew P. 布莱克、迈克尔·荷马和詹姆斯·诺布尔，《皇冠体育app》， 美国计算机学会新思想国际研讨会论文集, 新范式, 以及对编程和软件的思考 (起! '12). 美国计算机学会，美国纽约，85-98,2012

与L. 卡德利和B.C. Pierce, <比较对象编码> 信息与计算 155, pp. 108-133, 1999

与维. 法卡斯，《皇冠体育app》， 语义杂志， 27, pp 81-118, 2010, doi:10.1093 /乔斯/ ffp010.

与一个. 丹尼卢克和T. Murtagh，《皇冠体育》， 2010年ACM计算机科学教育研讨会论文集, 2010.