戈登·普洛金;权力，约翰 计算效果和操作：概述。 （英语） Zbl 1273.68213号 Escardo，M.（ed.）等人，领域VI研讨会论文集，英国伯明翰，2002年9月16日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记73，149-163（2004）。MSC公司：68问题55 18立方厘米 18立方厘米 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{G.Plotkin}和\textit{J.Power}，电子。注释Theor。计算。科学。73、149--163（2004年；Zbl 1273.68213） 全文： 链接
踢，马可;权力，约翰 数学操作语义的行为模块化。 （英语） Zbl 1271.68130号 Adámek，J.（ed.）等人，第七届计算机科学联合算法研讨会论文集，西班牙巴塞罗那，2004年3月27日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记106，185-200（2004）。MSC公司：68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Kick}和\textit{J.Power}，电子。注释Theor。计算。科学。106185-200（2004年；Zbl 1271.68130） 全文： 链接
玛丽娜·莱妮莎;权力，约翰;渡边宏 操作语义学的范畴理论。 （英语） Zbl 1071.68059号 西奥。计算。科学。 327，编号1-2，135-154（2004）.MSC公司：68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Lenisa}等人，Theor。计算。科学。327，编号1--2，135-154（2004；Zbl 1071.68059） 全文： 内政部