@第{zbMATH06506925条，作者={Garavel，Hubert}，标题={重温过程计算中的序列组成}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={84}，数字={6}，页码={742--762}，年份={2015年}，语言={英语}，DOI={10.1016/j.jlamp.2015.08.001}，关键词={68Q85}，zbMATH={6506925}，Zbl={1330.68201}}