@第{zbMATH05642386条，作者={ter Beek，Maurice H.和Kleijn，Jetty}，标题={I}/{O}自动机团队的模块化，FJournal={信息处理信件}，日志={Inf.Process.Lett.}，ISSN={0020-0190}，体积={95}，数字={5}，页码={487--495}，年份={2005}，语言={英语}，DOI={10.1016/j.ipl.2005.012}，关键词={68Q45}，zbMATH={5642386}，Zbl={1185.68382}}