@第{zbMATH06087632条，作者={Ehlers，R{\“u}diger}，标题＝{符号有界合成}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={40}，数字={2}，页码={232--262}，年份={2012}，语言={英语}，DOI={10.1007/s10703-011-0137-x}，关键词={68Q60,03B70}，zbMATH={6087632}，Zbl={1247.68163}}