尼罗德,阿尼尔;理查德·肖尔(Richard A.Shore)。 应用程序逻辑。第2版。 (英语) Zbl 0874.03004号 计算机科学研究生课程。纽约州纽约市:施普林格。xiii,第456页(1997年)。 审核人:A.M.Coyne(阿什维尔) MSC公司:03-01 03B10号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore},应用程序逻辑。第二版,纽约州纽约市:施普林格(1997;Zbl 0874.03004)
尼罗德,阿尼尔;理查德·肖尔(Richard A.Shore)。 应用程序逻辑。 (英语) Zbl 0842.03003号 计算机科学的文本和专著。纽约:施普林格出版社。十七、365页(1993年)。 审核人:A.M.Coyne(阿什维尔) MSC公司:03-01 03B10号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore},应用程序逻辑。纽约:Springer-Verlag(1993;Zbl 0842.03003)