佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) 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) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 合成:梦想\(\Rightarrow\)节目。 (英语) Zbl 0416.68013号 IEEE传输。软件工程。 5, 294-328 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},IEEE Trans。柔和。工程5,294--328(1979;Zbl 0416.68013) 全文: 内政部