C.A.R.霍尔。 通信过程的完全正确性演算。 (英语) Zbl 0485.68025号 科学。计算。程序。 1, 49-72 (1981).MSC公司:第68页第25页 94A99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},科学。计算。程序。1、49--72(1981年;Zbl 0485.68025) 全文: 内政部 链接
W.H.J.费扬。 布尔特曼的重组问题。 (英语) Zbl 0479.68015号 科学。计算。程序。 1145-147(1981年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.J.Feijen},科学。计算。程序。1145-147(1981年;兹bl 0479.68015) 全文: 内政部
贝斯特,E。;克里斯蒂安,F。 异常发生的系统检测。 (英语) Zbl 0473.68012号 科学。计算。程序。 1, 115-144 (1981).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{F.Cristian},科学。计算。程序。115-144(1981年;兹bl 0473.68012) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) Zbl 0472.68054号 科学。计算。程序。 1,5-48(1981年).MSC公司:68吨15 68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},科学。计算。程序。1、5--48(1981年;Zbl 0472.68054) 全文: 内政部
鲍尔,F.L。;布罗伊,M。;多什·W·。;R.格纳茨。;Krieg-Brückner,B。;劳特,A。;勒克曼,M。;T·马特兹纳。;莫勒,B。;H·帕奇。;胡椒,P。;萨梅尔森,K。;斯坦布吕根,R。;Wirsing,M。;Wössner,H。 用广谱语言编程:示例集。 (英语) Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,科学。计算。程序。1、73--114(1981年;Zbl 0469.68003) 全文: 内政部