@第{zbMATH03772941条，作者={科恩，雅克}，标题={程序的计算机辅助微观分析}，FJournal={ACM通信}，日志={Commun.ACM}，ISSN={0001-0782}，体积={25}，页码={724--733}，年份={1982年}，语言={英语}，DOI={10.1145/358656.358674}，关键词={68W99,68W30,68Q60}，zbMATH={3772941}，Zbl={0491.68036}}