默多克·加贝;丹·吉卡 名义模型中的游戏语义。 （英语） Zbl 1342.68195号 Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286173-189（2012）。MSC公司：第68季度55 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbay}和\textit{D.Ghica}，电子。注释Theor。计算。科学。286173--189（2012年；Zbl 1342.68195） 全文： 内政部
城市，基督教;安德鲁·皮特斯（Andrew M.Pitts）。;默多克·J·加贝。 名义统一。 （英语） Zbl 1078.68140号 西奥。计算。科学。 323，编号1-3，473-497（2004）.MSC公司：第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Urban｝等人，Theor。计算。科学。323，编号1--3，473--497（2004；Zbl 1078.68140） 全文： 内政部