@第{zbMATH07245548条，作者={Sheng，Feng and Zhu，Huibiao and He，Jifeng and Yang，Zongyuan and Bowen，Jonathan P.}，Title={基于{UTP}}的{MDESL}指称语义的理论和实践方法，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={32}，数字={2-3}，页码={275--314}，年份={2020年}，语言={英语}，DOI={10.1007/s00165-020-00513-4}，关键词={68N30,68Q55}，zbMATH={7245548}，Zbl=｛1458.68041｝}