布鲁诺·C·D·S·奥利维拉。;汤姆·施里杰弗斯;威廉·库克。 MRI:关于增量编程中干扰的模块化推理。 (英语) Zbl 1267.68090号 J.功能。程序。 22,第6期,797-852(2012).MSC公司:第68页第19页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.C.D.S.Oliveira}等人,J.Funct。程序。22,第6号,797--852(2012;Zbl 1267.68090) 全文: 内政部
多米尼克·德夫里塞;弗兰克·皮森斯 最后,抽象语法模型的无标记可观察递归。 (英语) Zbl 1273.68074号 J.功能。程序。 22,第6期,757-796(2012).MSC公司:68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Devriese}和\textit{F.Piessens},J.Funct。程序。22,编号6677-796(2012年;兹bl 1273.68074) 全文: 内政部
迈克尔·斯皮维 当可能还不够好的时候。 (英语) Zbl 1276.68046号 J.功能。程序。 22,第6期,747-756(2012). 审核人:尤里安·哈格(乌得勒支) MSC公司:68甲18 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Spivey},J.Funct。程序。22,第6号,747--756(2012;Zbl 1276.68046) 全文: 内政部