@第{zbMATH00502861条，作者={Hannan，John and Miller，Dale}，标题={从操作语义到抽象机器}，FJournal={MSCS.计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={2}，数字={4}，页码={415--459}，年份={1992年}，语言={英语}，DOI={10.1017/S0960129500001559}，关键词={68Q55,68Q05,68Q60,03B40}，zbMATH={502861}，Zbl={0798.68099}}