@第{zbMATH00868011条，作者＝｛Billington，David和Dromey，R.Geoff｝，标题={共不变生成器：{An}有助于派生循环体}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={8}，数字={1}，页码={108--126}，年份={1996}，语言={英语}，DOI＝{10.1007/BF01211053}，关键词={68Q60}，zbMATH={868011}，Zbl={0843.68066}}