@其他{zbMATH0470283，作者={Jantke，K.P.}，标题={作为程序综合基础的终端代数语义}，年份＝{1986}，语言={英语}，HowPublished={代数，计算机科学中的组合学和逻辑，{Colloq}。{Gy{\“o}r}/{Hung}.1983，{Vol}.2，{Colloq}.{Math}.{Soc}.{J{\'a}nos}{Bolyai}42，479-490（1986）。}，关键词={68Q60,68N01,68Q55,68Q65}，zbMATH={4070283}，Zbl=｛0655.68017｝}