约翰·V·古塔格。;埃利斯·霍洛维茨;大卫·穆瑟。 抽象数据类型和软件验证。 (英语) Zbl 0387.68012号 Commun公司。ACM公司 21, 1048-1064 (1978).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Guttag}等人,Commun。ACM 21,1048--1064(1978;Zbl 0387.68012) 全文: 内政部
乔尔·摩西 代数简化:困惑者指南。 (英语) Zbl 0222.68017号 Commun公司。ACM公司 14, 527-537 (1971).MSC公司:2005年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Moses},公社。ACM 14,527--537(1971;Zbl 0222.68017) 全文: 内政部
A.C.赫恩。 符号操作在理论物理中的应用。 (英语) Zbl 0218.68002号 Commun公司。ACM公司 14, 511-516 (1971).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Hearn},Commun(通讯员)。ACM 14,511--516(1971;Zbl 0218.68002) 全文: 内政部