德拉恩西纳,A。;L·拉纳。;F.鲁比奥。 基于自然语义的调试系统。 (英语) Zbl 1217.68051号 加州大学洛杉矶分校 15,第14号,2836-2880(2009).MSC公司:68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.De La Encina}等人,J.UCS 15,No.14,2836--2880(2009;Zbl 1217.68051) 全文: 链接
西尔维亚·塞雷斯;迈克尔·斯皮维 逻辑程序的功能读取。 (英语) Zbl 0960.68020号 加州大学洛杉矶分校 6,第4期,433-446(2000).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Seres}和\textit{M.Spivey},J.UCS 6,第4期,433--446(2000;Zbl 0960.68020) 全文: 链接