@第{zbMATH01123624条，作者＝｛Pavlovi｛c｝，Du｛v｛s｝｝ko｝，标题={动作计算中名称和抽象的分类逻辑}，FJournal={MSCS.Mathematical Structures in Computer Science（计算机科学中的数学结构）}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={7}，数字={6}，页码={619--637}，年份＝{1997}，语言={英语}，DOI={10.1017/S0960129597002296}，关键词={03G30,18D10,18C10,68Q55}，zbMATH={1123624}，Zbl={0893.03028}}