@第{zbMATH01383571条，作者={Al-Mulhem，Muhammed和Ali，Shahid}，标题={可视化occam}的形式语义，FJournal={计算机语言}，日志={Compute.Lang.}，ISSN={0096-0551}，体积={24}，数字={2}，页码={99--113}，年份={1998}，语言={英语}，DOI={10.1016/S0096-0551（98）00005-8}，关键词={68Q55,68N15}，zbMATH={1383571}，Zbl={0948.68113}}