@第{zbMATH03978369条，作者={Tang，Zhisong and Zheng，Maosong and Li，Xin}，标题={二级形式语义和语义定向编译}，FJournal={Scientia Sinica.系列A}，期刊={科学杂志，Ser.A}，ISSN={0253-5831}，体积={28}，页码={991--1001}，年份={1985}，语言={英语}，关键词={68Q65,68Q60}，zbMATH＝{3978369}，Zbl={0605.68020}}