@第{zbMATH06688098条，作者={尼尔森、汉内·里斯和尼尔森、弗莱明}，标题={内容相关信息流控制}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={87}，页码={6--32}，年份={2017年}，语言={英语}，DOI={10.1016/j.jlamp.2016.09.005}，关键词={68N30,03B70,68Q55,68Q85}，zbMATH={6688098}，Zbl={1359.68050}}