@第{zbMATH00417318条，作者＝｛Boudol，G｛'e｝rard和Larsen，Kim G.｝，标题={图形与逻辑规范}，FJournal＝{理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={106}，数字={1}，页码={3--20}，年份={1992年}，语言={英语}，DOI={10.1016/0304-3975（92）90276-L}，关键词={68Q60,68Q10}，zbMATH={417318}，Zbl={0776.68084}}