M.O.拉宾。;D.斯科特。 有限自动机及其决策问题。 (英语) Zbl 1461.68105号 IBM J.研究开发。 3, 114-125 (1959).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Rabin}和\textit{D.Scott},IBM J.Res.Dev.3114-125(1959年;Zbl 1461.68105)
G.N.波瓦罗夫。 逻辑和自动化。(物流和自动化。) (俄语) Zbl 0104.35702号 逻辑。伊斯勒。,莫斯科,300-314(1959)。 审核人:J.C.谢泼德森 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
格里戈·君士坦丁·莫伊西尔 自动机械性痛觉性痛觉障碍(Teoria algebrica dei meccanismi automatici)。我的音乐节奏是一种节奏感。Applicazione dell’algebra della logica allo studio dei meccanismi a contatti e relè。 (意大利语) Zbl 0085.11602号 Conf.Semin公司。Mat.Univ.Bari大学33/34,30 p.(1959)。 审核人:J.C.谢泼德森 MSC公司:94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式