@第{zbMATH04197442条，作者={Liu，Tong and Tang，C.S.}，标题={数据流图的语义规范和验证}，FJournal={计算机科学与技术杂志}，期刊={J.计算机科学技术}，ISSN={1000-9000}，体积={6}，数字={1}，页码={21--31}，年份={1991年}，语言={英语}，DOI={10.1007/BF02943404}，关键词={68Q60,68Q10,03B45}，zbMATH={4197442}，Zbl={0725.68070}}