@第{zbMATH06796912条，作者={Dieterle，M.和Horstmeyer，T.和Loogen，R.和Berthold，J.}，标题={骨架组成与{Eden}}中的稳定工艺系统，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={26}，页码={40}，注={Id/编号e11}，年份={2016年}，语言={英语}，DOI={10.1017/S0956796816000083}，关键词={68N18}，zbMATH={6796912}，Zbl={1420.68037}}