@第{zbMATH06086015条，作者={Brauer，J{“o}rg和King，Andy}，标题={无量词消除的传递函数合成}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={8}，数字={3}，页码={37}，注={Id/No 17}，年份={2012}，语言={英语}，DOI={10.2168/LMCS-8（3:17）2012}，关键词={68N30,68Q60}，zbMATH={6086015}，Zbl={1278.68070}}